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

Saved in:

書目詳細資料
主要作者:	Ledesma, Luis de (Author)
格式:	圖書
語言:	西班牙语
出版:	Cuernavaca Alfaomega 2010
主題:	Lógica matemática Lógica simbólica
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

成為第一個發表評論!

相似書籍