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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 132 b
54.06 €
105.73  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Top
Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Book Hardback
common.buy 24.35 € 47.63 лв
Donau Florian Christl / Audio Audio CD
common.buy 25.13 € 49.14 лв
Chix 52 Chicks On Speed / Audio Audio CD
common.buy 6.99 € 13.67 лв
Réformes institutionnelles de la CEMAC Libong Badjan / Book Paperback
common.buy 16.65 € 32.56 лв
La 'Ndrangheta Forgione / Book Paperback
common.buy 15.57 € 30.46 лв
Niño GARCIA MAÑA / Book Paperback
common.buy 17.31 € 33.86 лв
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Book Paperback
common.buy 17.21 € 33.66 лв
brava veterinaria. Facciamo che ero Donata Quagliotti / Book Hardback
common.buy 21.49 € 42.02 лв
Obesit? e riserva ovarica Manal Mohammed Ali / Book Paperback
common.buy 37.51 € 73.37 лв
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Book Paperback
common.buy 41.26 € 80.70 лв
So eine schöne Armee ham'a g'habt...! Michael R. Lorenz / Book Hardback
common.buy 24.35 € 47.63 лв
Style Et Ecriture. Du Rococo Aux Arts Deco Massin / Book Paperback
common.buy 18.50 € 36.18 лв
Dárkové krabičky ve tvaru hvězdy 6 kusů / Stationery items Stationery items
common.buy 7.55 € 14.77 лв
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Book binding.
common.buy 4.06 € 7.93 лв
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Book Paperback
common.buy 59.30 € 115.98 лв
Norm, Person, Gesellschaft. Günther Jakobs / Book Paperback
common.buy 34.63 € 67.74 лв
Propaganda der Weimarer Republik am Beispiel kommunistischer Agitation durch Zeitung und Plakat Julia Marg / Book Paperback
common.buy 17.01 € 33.26 лв
Coming soon
Lehrbuch Dieter Blohm / Book Hardback
common.buy 57.66 € 112.77 лв
Der Murks mit der Milch Max O. Bruker / Book Paperback
common.buy 16.85 € 32.96 лв
Analytische Geometrie W. Blaschke / Book Paperback
common.buy 50.57 € 98.90 лв
Einmal mit Alles Daniel Esswein / Book Hardback
common.buy 39.93 € 78.09 лв
So sparen Sie Geld, Ressourcen, Energie Götz Warnke / Book Paperback
common.buy 16.04 € 31.36 лв
El barrufet Financer Peyo / Book Paperback
common.buy 16.70 € 32.66 лв
Ján Ondruš Básnické dielo Ján Ondruš / Book Paperback
common.buy 11.35 € 22.20 лв

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 107.87 € 210.97 лв
Our Savior Come: An Advent Companion Dan Schmidt / Book Paperback
common.buy 10.53 € 20.60 лв
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.89 € 25.22 лв
History of Cherry Valley. from 1740 to 1898. John Sawyer / Book Paperback
common.buy 18.14 € 35.47 лв
Vigilante Witch Hunter Gary Turcotte / Book Paperback
common.buy 22.61 € 44.22 лв
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 27.44 € 53.67 лв
Christ Alone Exalted Volume 1 Tobias Crisp / Book Hardback
common.buy 43.83 € 85.73 лв
We Will Never Forget LENNY POLLARA / Book Paperback
common.buy 13.92 € 27.23 лв
The Corsican, a Diary Emperor of the French Napoleon I. / Book Paperback
common.buy 28.36 € 55.47 лв
Female Force: Women of Country Music - Dolly Parton, Carrie Underwood, Loretta Lynn, and Reba McEntire Michael Frizell / Book Paperback
common.buy 19.73 € 38.59 лв
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Book Hardback
common.buy 27.44 € 53.67 лв
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Book Hardback
common.buy 33.30 € 65.12 лв
The Methodist Quarterly V5: A Journal Of Theological And General Literature (1871) Methodist Episcopal Church / Book Paperback
common.buy 34.17 € 66.83 лв
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Book Paperback
common.buy 26.51 € 51.86 лв
Brave Men and Women Osgood E Fuller / Book Paperback
common.buy 9.61 € 18.79 лв
Church Reform Movement at Rome Charles R Conybeare / Book Paperback
common.buy 12.33 € 24.11 лв
The natural & industrial resources and advantages of Maryland John Thomas Scharf / Book Paperback
common.buy 20.71 € 40.50 лв
Night of the Cat Richard Waltner / Book Paperback
common.buy 20.71 € 40.50 лв
Sarah's Story Danielle Aitken / Book Paperback
common.buy 19.83 € 38.79 лв
history of India Sir Roper Lethbridge / Book Paperback
common.buy 21.12 € 41.30 лв
Glorious Boy Aimee Liu / Book Paperback
common.buy 19.01 € 37.18 лв
Ghost Sonata Gary Reed / Book Paperback
common.buy 10.84 € 21.20 лв
The Work Of God In Italy: Detailing The Revival And Spread Of Evangelical Truth In That Kingdom (1862) William Owen / Book Paperback
common.buy 30.37 € 59.39 лв
This Is Not What I Consider Art Jon Gary / Book Paperback
common.buy 17.83 € 34.87 лв

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?