Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Ledesma, Luis de (Tác giả)
Định dạng:	Sách
Ngôn ngữ:	Tiếng Tây Ban Nha
Được phát hành:	Cuernavaca Alfaomega 2010
Những chủ đề:	Lógica matemática Lógica simbólica
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Biblioteca Mayor de Ingeniería -