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
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Deduction - CADE-19 Franz Baader
Libristo code: 01562844
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Full description
? points 125 b
51.55 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Obesit? e riserva ovarica Manal Mohammed Ali / Book Paperback
common.buy 35.61 €
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Book Paperback
common.buy 39.14 €
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Book Paperback
common.buy 16.84 €
brava veterinaria. Facciamo che ero Donata Quagliotti / Book Hardback
common.buy 20.47 €
Niño GARCIA MAÑA / Book Paperback
common.buy 16.84 €
Einmal mit Alles Daniel Esswein / Book Hardback
common.buy 37.73 €
Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Book Hardback
common.buy 23.20 €
Ján Ondruš Básnické dielo Ján Ondruš / Book Paperback
common.buy 10.89 €
Dřevěné kostky Zvířátka 2 kostky / Game/Toy Toy
common.buy 5.64 €
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Book Hardback
common.buy 22.59 €
Daltonismo-¿de qué color lo ves? Violeta Crespo / Book Paperback
common.buy 13.92 €
So sparen Sie Geld, Ressourcen, Energie Götz Warnke / Book Paperback
common.buy 15.23 €
Der Murks mit der Milch Max O. Bruker / Book Paperback
common.buy 15.93 €
Coming soon
Lehrbuch Dieter Blohm / Book Hardback
common.buy 55.49 €
Norm, Person, Gesellschaft. Günther Jakobs / Book Paperback
common.buy 32.99 €
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Book Paperback
common.buy 56.40 €
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Book binding.
common.buy 3.62 €
Dárkové krabičky ve tvaru hvězdy 6 kusů / Stationery items Stationery items
common.buy 7.15 €

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

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-19
Author Franz Baader
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 512
EAN 9783540405597
ISBN 3540405593
Libristo code 01562844
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1600
Dimensions 155 x 235 x 29

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Intelligent Strategies for Meta Multiple Criteria Decision Making Thomas Hanne / Book Paperback
common.buy 102.71 €
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Book Paperback
common.buy 25.92 €
Liturgy of the Church of England Explained and Vindicated, So as to Appear in Perfect Harmony with the Scriptures, and Very Far Distant from the Armin Augustus Toplady / Book Paperback
common.buy 12.60 €
History of Cherry Valley. from 1740 to 1898. John Sawyer / Book Paperback
common.buy 17.75 €
The Methodist Quarterly V5: A Journal Of Theological And General Literature (1871) Methodist Episcopal Church / Book Paperback
common.buy 33.49 €
Technical Study of the Maintenance and Fattening of Lambs and Their Utilization of a Ration of Alfalfa Hay and Corn H H 1886-1966 Mitchell / Book Hardback
common.buy 26.83 €
Female Force: Women of Country Music - Dolly Parton, Carrie Underwood, Loretta Lynn, and Reba McEntire Michael Frizell / Book Paperback
common.buy 19.26 €
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Book Hardback
common.buy 26.83 €
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Book Hardback
common.buy 32.48 €
Vigilante Witch Hunter Gary Turcotte / Book Paperback
common.buy 22.09 €
Brave Men and Women Osgood E Fuller / Book Paperback
common.buy 9.37 €
Church Reform Movement at Rome Charles R Conybeare / Book Paperback
common.buy 11.70 €
Night of the Cat Richard Waltner / Book Paperback
common.buy 20.27 €
Sarah's Story Danielle Aitken / Book Paperback
common.buy 19.36 €
history of India Sir Roper Lethbridge / Book Paperback
common.buy 20.68 €
Glorious Boy Aimee Liu / Book Paperback
common.buy 16.24 €
Ghost Sonata Gary Reed / Book Paperback
common.buy 10.59 €
Tree Tops Jim Corbett / Book Paperback
common.buy 4.83 €
Empire of Hanging Swords R. R. Egal / Book Hardback
common.buy 27.84 €
Recent Topics on Prevention, Diagnosis, and Clinical Management of Cervical Cancer Daisuke Aoki / Book Paperback
common.buy 100.49 €
Functional Foods and Nutraceuticals Aluko / Book Hardback
common.buy 85.46 €
Norfolk W A Dutt / Book Paperback
common.buy 28.14 €
Comic Books as History Joseph Witek / Book Paperback
common.buy 41.16 €
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Book Hardback
common.buy 102.71 €

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?