• Libros
  • First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
Fitting, Melvin
Anglès
EAN
9781461275152
Editorial
Any d'edició
2013
Idioma
Anglès
Col·lecció
Texts in Computer Science
Alt
244
Ample
170
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres