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

Automated Reasoning with Analytic Tableaux and Related Methods

Language EnglishEnglish
Book Paperback
Book Automated Reasoning with Analytic Tableaux and Related Methods Didier Galmiche
Libristo code: 05274694
Publishers Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux... Full description
? 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

Atlas of Knee Arthroscopy Radu Prejbeanu / Hardback
common.buy 246.72 €
Book of Meissen Robert E. Rontgen / Hardback
common.buy 97.72 €
Thinking Outside the Box William G. O'Callaghan / Paperback
common.buy 64.43 €
Boehmischen Landtagsverhandlungen und Landtagsbeschlusse vom Jahre 1526 an bis auf die Neuzeit Ohne Autor / Paperback
common.buy 74.82 €
Primordial Emotions Derek Denton / Hardback
common.buy 156.70 €
Changing Our Minds Susan H. Aiken / Paperback
common.buy 46.55 €
Until Darwin, Science, Human Variety and the Origins of Race B. Ricardo Brown / Hardback
common.buy 234.41 €
Collected Poems Donald Davie / Paperback
common.buy 25.36 €
Alternatives to the Hospital for Acute Psychiatric Treatment Richard Warner / Hardback
common.buy 37.24 €
Year Book of Ophthalmology 2013 Christopher J. Rapuano / Hardback
common.buy 154.45 €
Yeats Yug Chaudhry / Paperback
common.buy 44.63 €
Beyond Hollywood's Grasp Harry Waldman / Hardback
common.buy 123.95 €
Animal Reproduction Lucas T. Dahnof / Hardback
common.buy 146.10 €
Kolbenpumpen Einschliesslich Der Flugel- Und Rotationspumpen Heinrich Berg / Paperback
common.buy 53.51 €
Delicious Probiotic Drinks Julia Mueller / Hardback
common.buy 16.15 €
Ethik Und Protest Gerhard Schmidtchen / Paperback
common.buy 58.86 €

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

About the book

Full name Automated Reasoning with Analytic Tableaux and Related Methods
Author Didier Galmiche
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 380
EAN 9783540629207
ISBN 3540629203
Libristo code 05274694
Publishers Springer, Berlin
Weight 510
Dimensions 156 x 234 x 20

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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