Khác biệt giữa bản sửa đổi của “Phép tính lambda”
Nội dung được xóa Nội dung được thêm vào
Cat-a-lot: Moving from Category:Phát minh của Mỹ to Category:Phát minh của Hoa Kỳ |
|||
Dòng 18:
[[Thể loại:Phương pháp hình thức]]
[[Thể loại:Khoa học máy tính lý thuyết]]
[[Thể loại:Phát minh của
|