• Libros
  • First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
Fitting, Melvin
English
EAN
9781461275152
Editorial
Year of edition
2013
Idiom
English
Collection
Texts in Computer Science
High
244
Width
170
Otros lectores lo han calificado con
Share your feedback
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres