Using Sophisticated Models in Resolution Theorem Proving
SANDFORD, DAVID M.
- Numéro de collection
- 0
- Éditorial:
- SPRINGER
- Année d'édition:
- 1980
- ISBN:
- 978-3-540-10231-1
- EAN
- 9783540102311
- Collection:
- Lecture Notes in Computer Science
- Haute:
- 233 Haute
- Largeur:
- 155Largeur
- langage:
- INGLES
-5%
Avant:51,99 €
Après:49,39 €
TVA incluse
SANS STOCK (Livraison estimée 10 jours)
Si votre achat dépasse 19
Using Sophisticated Models in Resolution Theorem Proving est de l'auteur SANDFORD, DAVID M.
Using Sophisticated Models in Resolution Theorem Proving de l'auteur SANDFORD, DAVID M. édité par SPRINGER dans l'année 1980.
Using Sophisticated Models in Resolution Theorem Proving a un code ISBN 978-3-540-10231-1. Dans ce cas c'est le format papier, mais nous n'avons pas Using Sophisticated Models in Resolution Theorem Proving au format ebook.
D'autres livres de
D'autres livres de SPRINGER
-5%
-5%
