[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Using Sophisticated Models in Resolution Theorem Proving

Language EnglishEnglish
Book Paperback
Book Using Sophisticated Models in Resolution Theorem Proving David M. Sandford
Libristo code: 01557591
Publishers Springer, Berlin
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

ABC Musik (Großdruckausgabe) Wieland Ziegenrücker / Paperback
common.buy 23.01 €
Judaistic Christianity Fenton John Anthony Hort / Paperback
common.buy 47.84 €
Theories of Plates and Shells Reinhold Kienzler / Hardback
common.buy 206.48 €
Fragenbär, Vorschule - Besser konzentrieren und aufpassen / Sheet
common.buy 6.41 €
Developing Human Brain - Growth and Adversities Floyd H. Gilles / Hardback
common.buy 180.68 €
Aufstand in Stadt und Land Thomas Lähns / Paperback
common.buy 14.88 €

About the book

Full name Using Sophisticated Models in Resolution Theorem Proving
Author David M. Sandford
Language English
Binding Book - Paperback
Number of pages 242
EAN 9783540102311
ISBN 3540102310
Libristo code 01557591
Publishers Springer, Berlin
Weight 425
Dimensions 155 x 233 x 13

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account