Using Sophisticated Models in Resolution Theorem Proving
Using Sophisticated Models in Resolution Theorem Proving SANDFORD, DAVID M.
Nº Colección
0
Editorial:
SPRINGER
Ano de edición:
1980
ISBN:
978-3-540-10231-1
EAN
9783540102311
Colección:
Lecture Notes in Computer Science
Alto:
233 Alto
Ancho:
155Ancho
Idioma:
INGLES

-5%

51,99 €

49,39 €

IVE incluído

Envío gratis!

Si tu compra supera los 19 €, los gastos de envío gratis. Ver detalles

Using Sophisticated Models in Resolution Theorem Proving es del autor SANDFORD, DAVID M.

Using Sophisticated Models in Resolution Theorem Proving del autor SANDFORD, DAVID M. editado por SPRINGER en el año 1980.

Using Sophisticated Models in Resolution Theorem Proving tiene un código de ISBN 978-3-540-10231-1. En este caso se trata de formato papel, pero no disponemos de Using Sophisticated Models in Resolution Theorem Proving en formato ebook.

Otros libros de

Otros libros de SPRINGER