Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Conference TABLEAUX 2011 (2011 : Bern, Switzerland)
Title Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings / Kai Brünnler, George Metcalfe (eds.)
Alternative Title TABLEAUX 2011
Publication Info Berlin ; New York : Springer, c2011.



Descript xii, 277 p. : ill. ; 24 cm.
Note International conference proceedings.
ISBN 9783642221194 (e-ISBN)
Click on the terms below to find similar items in the catalogue
Conference TABLEAUX 2011 (2011 : Bern, Switzerland)
Series Lecture notes in computer science, 6793. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science ; 6793.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Subject Automatic theorem proving -- Congresses.
Alt author Brünnler, Kai.
Metcalfe, George.
Alternative Title TABLEAUX 2011
Descript xii, 277 p. : ill. ; 24 cm.
Note International conference proceedings.
ISBN 9783642221194 (e-ISBN)
Conference TABLEAUX 2011 (2011 : Bern, Switzerland)
Series Lecture notes in computer science, 6793. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science ; 6793.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Subject Automatic theorem proving -- Congresses.
Alt author Brünnler, Kai.
Metcalfe, George.
Alternative Title TABLEAUX 2011

Subject Automatic theorem proving -- Congresses.
Descript xii, 277 p. : ill. ; 24 cm.
Note International conference proceedings.
Alt author Brünnler, Kai.
Metcalfe, George.
ISBN 9783642221194 (e-ISBN)

Links and services for this item: