Normal view MARC view ISBD view

Automated reasoning with analytic tableaux and related methods : 16th international conference proceedings, TABLEAUX, Aix en Provence, France, July 3-6, 2007

Automated reasoning with analytic tableaux and related methods : 16th international conference proceedings, TABLEAUX, Aix en Provence, France, July 3-6, 2007 - - Berlin Springer 2007 - x,245 p. 23 cm - Lecture notes in artificial intelligencce ; v.4548 , Lecture notes in computer science .

ISBN: 978-3-540-73098-9

Subjects--Topical Terms:

Computer Science and Engineering
Automatic theorem proving-Congresses

Universal Decimal Class. No.: 681.342:517.1Aut:16:07

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)