Phương pháp đổi biến số và việc lấy tích phân nột số hàm số có dạng đặc biệt (Đặc trưng) /

Antzeko izenburuak

• Danh hóa mệnh đề trong tiếng Anh (đối chiếu với tiếng Việt) /
  nork: Nguyễn Thị Bích Ngoan.
• Một số thuật toán chứng minh tự động trong logic mệnh đề /
  nork: Trần Ngọc Anh.
• Tập luyện cho học sinh sử dụng thuật ngữ, kí hiệu của logic toán để diễn đạt mệnh đề toán học /
  nork: Nguyễn Văn Thuận, TS.
• Mệnh đề = Clause /
  nork: Ngọc Hà.
  Argitaratua: (2011)
• Một số phương pháp tiếp cận trong việc xác định ngữ nghĩa của cơ sở dữ liệu tuyển /
  nork: Lê Mạnh Thanh.