Lógica para computación
Lógica para computación
Francisco S. Naishtat
Details
OL Work ID
OL4708878W
Subjects
Logic programming
Propositional calculus
Formal languages
Predicate calculus
Find this book
Open Library