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

Saved in:

Bibliographic Details
Main Author:	Ledesma, Luis de (Author)
Format:	Book
Language:	Spanish
Published:	Cuernavaca Alfaomega 2010
Subjects:	Lógica matemática Lógica simbólica
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Similar Items