ISBNs for automatic theorem proving congresses

ISBN.nu

search for books and compare prices

automatic theorem proving congresses matches 97 work(s)

at beginning | displaying 1 to 25 | next 25 >

show results in order: alphabetically | oldest to newest | newest to oldest

Computational Logic: Symposium Proceedings, Brussels, November 13, 14, 1990

By J. W. Lloyd (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9780387534374 | Springer Verlag, March 1, 1991, cover price $52.95

Paperback:

9783642762765, titled "Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990" | Reprint edition (Springer-Verlag New York Inc, December 13, 2011), cover price $149.00

Automated Technology for Verification and Analysis: 9th International Symposium, Atva 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

By Pao-ann Hsiung (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642243714 | Springer-Verlag New York Inc, November 3, 2011, cover price $109.00

Automated Deduction Cade-23: 23rd International Conference on Automated Deduction, Wrocbaw, Poland, July 31 -- August 5, 2011, Proceedings

By Viorica Sofronie-stokkermans (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642224379 | Springer-Verlag New York Inc, September 28, 2011, cover price $109.00

Automated Technology for Verification and Analysis: 8th International Symposium, Atva 2010, Singapore, September 21-24, 2010, Proceedings

By Ahmed Bouajjani (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642156427 | 1 edition (Springer-Verlag New York Inc, October 12, 2010), cover price $109.00

Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings

By Christian Urban (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642033582 | Springer-Verlag New York Inc, September 1, 2009, cover price $139.00

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, Lpar 2008, Doha, Qatar, November 22-27, 2008, Proceedings

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540894384 | Springer-Verlag New York Inc, December 1, 2008, cover price $169.00

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Product Description: This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions...read more

By Nachum Dershowitz (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540755586 | Springer-Verlag New York Inc, December 7, 2007, cover price $139.00 | About this edition: This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.

Theorem Proving in Higher Order Logics: 20th International Conference, Tphols 2007

Product Description: This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers...read more

By Jens Brandt (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540745907 | Springer-Verlag New York Inc, October 11, 2007, cover price $119.00 | About this edition: This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007.

Automated Deduction -- Cade 21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Product Description: A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007...read more

By Frank Pfenning (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540735946 | Springer-Verlag New York Inc, September 3, 2007, cover price $139.00 | About this edition: A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now.

Automated Reasoning With Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings

By Nicola Olivetti (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540730989 | Springer-Verlag New York Inc, September 3, 2007, cover price $99.00

Automated Technology for Verification And Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Product Description: The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia...read more

By Doron A. Peled (editor) and Yih-kuen Tsay (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540292098 | Springer-Verlag New York Inc, December 16, 2005, cover price $139.00 | About this edition: The Automated Technology for Veri?

Automated Reasoning With Analytic Tableaux And Related Methods: Tableaux 2005

By Bernhard Beckert

See complete details on each edition (1 edition listed)

Paperback:

9783540289319 | Springer Verlag, November 15, 2005, cover price $109.00

Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proceedings

Product Description: This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation...read more

By Joe Hurd (editor) and Tom Melham (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540283720 | Springer-Verlag New York Inc, October 16, 2005, cover price $119.00 | About this edition: This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.

Automated Deduction - Cade-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Product Description: This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22-27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri?cation(CFV'05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the Workshop on Non-Theorems, Non-Validity, Non-Provability (DIS- PROVING), and the yearly CADE ATP System Competition (CASC)...read more

By R. Nieuwenhuis (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540280057 | Springer-Verlag New York Inc, September 1, 2005, cover price $129.00 | About this edition: This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).

Logic for Programming, Artificial Intelligence, And Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

By Franz Baader (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540252368 | Springer-Verlag New York Inc, May 1, 2005, cover price $149.00

Theorem Proving In Higher Order Logic: 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings

By Annette Bunker (editor), Ganesh C. Gopalakrishnan (editor) and Konrad Slind (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540230175 | Springer Verlag, November 15, 2004, cover price $99.00

Mathematical Knowledge Management: Third International Conference, MKM 2004 Bialowieza, Poland, September 19-21, 2004 Proceedings

By Andrea Asperti (editor), Grzegorz Bancerek (editor) and Andrzej Trybulec (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540230298 | Springer-Verlag New York Inc, November 1, 2004, cover price $119.00

Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings

By David Basin (editor) and Michael Rusinowitch (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540223450 | Springer-Verlag New York Inc, August 15, 2004, cover price $149.00

Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002 : Revised Papers

By International Workshop on Automated Deduction in Geometry 2002 Linz and Franz Winkler

See complete details on each edition (1 edition listed)

Paperback:

9783540209270 | Springer-Verlag New York Inc, March 19, 2004, cover price $99.00

Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 : Proceedings

By Tphols 200 (other contributor) and Burkhart Wolff (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540406648 | Springer-Verlag New York Inc, September 1, 2003, cover price $109.00

Logic for Programming Artificial Intelligence and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings

Product Description: ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22-26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics...read more

By Lpar 2003 Alma-Ata ) (other contributor), Moshe Y. Vardi and Andrei Voronkov

See complete details on each edition (1 edition listed)

Paperback:

9783540201014 | Springer Verlag, September 1, 2003, cover price $129.00 | About this edition: ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?

Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003 : Proceedings

(view table of contents)

By Marta Cialdea Mayer, Fiora Pirri and Tableaux 200 (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540407874 | Springer Verlag, August 1, 2003, cover price $89.99

Automated Deduction, Cade-19: 19th International Conference on Automated Deduction, Miami Beach, Fl, Usa, July 28-August 2, 2003 : Proceedings

Product Description: 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...read more

By Franz Baader and fla International Conference on Automated Deduction 2003 Miami Beach

See complete details on each edition (1 edition listed)

Paperback:

9783540405597 | Springer Verlag, July 1, 2003, cover price $129.00 | About this edition: TheÂ refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.

Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002 : Selected Papers

By Herman Geuvers and Freek Wiedijk

See complete details on each edition (1 edition listed)

Paperback:

9783540140313 | Springer-Verlag New York Inc, June 1, 2003, cover price $109.00

Mathematical Knowledge Management: Second International Conference Mkm 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings

By Andrea Asperti, James Harold Davenport and International Conference on Mathematical Knowledge Management 2003 be

See complete details on each edition (1 edition listed)

Paperback:

9783540005681 | Springer Verlag, April 1, 2003, cover price $89.99

at beginning | displaying 1 to 25 | next 25 >