Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Automated Deduction, Cade-13

13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Deduction, Cade-13 M. McRobbie
Libristo code: 08908780
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 1996
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated...
? points 280 b
114.98 €
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Allgemeine Litteratur der Musik Johann Nikolaus Forkel / Book Paperback
common.buy 31.85 €
Jazz para el Asesino del Hacha RAY CELESTIN / Book Paperback
common.buy 13.36 €
GUARDIANS DE LA NIT 07 Koyoharu Gotouge / Book Book
common.buy 9.14 €
Das Kriegsende in der Zwickauer Region 1945 Norbert Peschke / Book Paperback
common.buy 20.49 €
Reichenau - Insel der Geheimnisse Sabine Ebert / Book Hardback
common.buy 15.57 €
AUGENLUST Hans-Jürgen Döpp / Book Hardback
common.buy 22.30 €

Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated deduction.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Automated Deduction, Cade-13
Author M. McRobbie, J. K. Slaney
Language English
Binding Book - Paperback
Date of issue 1996
Number of pages 788
EAN 9783540615118
ISBN 9783540615118
Libristo code 08908780
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1166
Dimensions 156 x 234 x 39

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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

You might also be interested in

Behavioral Neuroscience of Attention Deficit Hyperactivity Disorder and Its Treatment Clare Stanford / Book Hardback
common.buy 204.43 €
Top
The Fox Who Fooled the Monk - 33 Zen Stories Kai Tsukimi / Book Paperback
common.buy 17.38 €
Fundamentals of Gas Dynamics Howard W. Emmons / Book Hardback
common.buy 476.42 €
Molecular Basis of Developmental and Stem Cell Regulation Hisato Kondoh / Book Hardback
common.buy 132.97 €
Resistance Halik Kochanski / Book Paperback
common.buy 18.69 €
Jaundiced Justice Paul Barrett / Book Paperback
common.buy 14.77 €
Keisha & Bobby Jessie Maple / Book Paperback
common.buy 16.37 €
Lysbeth, a Tale of the Dutch H. Rider Haggard / Book Paperback
common.buy 8.03 €
Clever Beatrice and the Best Little Pony Margaret Willey / Book Hardback
common.buy 17.48 €
Etiology of Substance Use Disorder in Children and Adolescents Michael M. Vanyukov / Book Paperback
common.buy 26.43 €
Top
Will You Please Be Quiet, Please? Raymond Carver / Book Paperback
common.buy 9.64 €
Centennial History of the Carnegie Institution of Washington: Volume 5, The Department of Embryology Jane MaienscheinMarie GlitzGarland E. Allen / Book Hardback
common.buy 177.90 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?