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

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Ledesma, Luis de (Author)
פורמט:	ספר
שפה:	ספרדית
יצא לאור:	Cuernavaca Alfaomega 2010
נושאים:	Lógica matemática Lógica simbólica
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

היה/י הראשונ/ה לכתוב הערה!

פריטים דומים