Normal view MARC view ISBD view

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings /

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / Martin Giese, Arild Waaler (editors) - 1 online resource (xii, 340 pages) : illustrations - Lecture notes in computer science, Lecture notes in artificial intelligence 5607 0302-9743 ; LNCS sublibrary: SL 7 - Artificial intelligence . - Lecture notes in computer science 5607 Lecture notes in computer science. Lecture notes in artificial intelligence LNCS sublibrary. SL 7, Artificial intelligence .

Includes bibliographical references and index.

ISBN: 3642027164 9783642027161 (ebook)

Subjects--Topical Terms:
Automatic theorem proving--Congresses

Subjects--Index Terms: Conference proceedings, published

Index Terms--Genre/Form:
Electronic books (Form)

LC Class. No.: QA76.9.A96