Using Sophisticated Models in Resolution Theorem Proving
Door: Sandford, David M.
- ISBN:
- Uitgever: Springer 1980 sewed
- Taal: ------------------
- Categorie: science
- Details: 239 pp. Lecture notes in computer Science nr 90 ISBN (3540102310) (code Sc-36)
- Extra informatie:
-
€ 17.50
Boeken zoeken
Categorieën
