• Libros
  • First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
Fitting, Melvin
Inglés
EAN
9781461275152
Editorial
Año de edición
2013
Idioma
Inglés
Colección
Texts in Computer Science
Alto
244
Ancho
170
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres