Lógica para computación
By: Francisco S. Naishtat.
Series: Colección Informática y computación
Publisher: Editorial Universitaria de Buenos Aires
Published: 1986
Place of publication: [Buenos Aires]
Language: spa
Number of pages: 300
Subjects: Logic programming.; Propositional calculus.; Predicate calculus.; Formal languages.
Notes: Bibliography: p. 293-300.