Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science
1980 edition
Paperback (01 Aug 1980)
- $59.78
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Check stock
Book information
| ISBN: | 9783540102311 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 01 Aug 1980 |
| Edition: | 1980 edition |
| Language: | English |
| Number of pages: | 242 |
| Weight: | 820g |
| Height: | 233mm |
| Width: | 155mm |
| Spine width: | 13mm |
We recommend
$16.41off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $16.41
RRP $67.73- $51.32
$8.87off
Mathematics for Computer Scient...
Paperback
Published 31 Aug 2023
Save $8.87
RRP $76.68- $67.81
$32.07off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $32.07
RRP $54.95- $22.88
