Location & Availability for: Automated reasoning with analytic tablea

 Staff view

You must be logged in to Tag Records

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

Martin Giese, Arild Waaler (eds.).

Book Cover
Names: Giese, Martin. | Waaler, Arild.
Published: Berlin ; Springer, c2009.
Series: Lecture notes in computer science ; 5607.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7 Artificial intelligence.
Topics: Automatic theorem proving - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Automated reasoning with analytic tablea