Automated reasoning
: 4th international joint conference ; proceedings / IJCAR 2008, Sydney, Australia, August 12 - 15, 2008. Alessandro Armando ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5195 : Lecture notes in artificial intelligence)
ISBN 978-3-540-71070-7
Lizenzpflichtig
Quelle: DNB
Automated reasoning
: third international joint conference ; proceedings / IJCAR 2006, Seattle, WA, USA, August 17 - 20, 2006. Ulrich Furbach ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4130 : Lecture notes in artificial intelligence)
ISBN 978-3-540-37188-5
Lizenzpflichtig
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: international conference ; tableaux '99, Saratoga Springs, NY, USA, June 7 - 11, 1999 ; proceedings / Neil V. Murray (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 1617 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48754-8
Lizenzpflichtig
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: international conference ; tableaux 2002, Copenhagen, Denmark, July 30 - August 1, 2002 ; proceedings / U. Egly ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2381 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45616-2
Lizenzpflichtig
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: proceedings / International Conference Tableaux, Oisterwijk, The Netherlands, May 1998. H. de Swart (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1397 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69778-7
Lizenzpflichtig
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2007, Aix en Provence, France, July 3 - 6, 2007 ; proceedings / Nicola Olivetti (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4548 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73099-6
Lizenzpflichtig
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2005, Koblenz, Germany, September 14 - 17, 2005 ; proceedings / Bernhard Beckert (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; Vol. 3702 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31822-4
Lizenzpflichtig
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: international conference ; tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings / [International Conference Tableaux]. Didier Galmiche (ed.). - Berlin : Springer, 1997. - XI, 372 S.; 24 cm - (Lecture notes in computer science; Vol. 1227 : Lecture notes in artificial intelligence)
ISBN 978-3-540-62920-7 / 3-540-62920-3 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: international conference ; tableaux 2000, St. Andrews, Scotland, UK, July 3 - 7, 2000 ; proceedings / Roy Dyckhoff (ed.). - Berlin : Springer, 2000. - X, 440 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1847 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67697-3 / 3-540-67697-X kart. : DM 98.00
Literaturangaben
Quelle: DNB
Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2003, Rome, Italy, September 9 - 12, 2003 ; proceedings / Marta Cialdea Mayer ; Fiora Pirri (ed.). - Berlin : Springer, 2003. - X, 270 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2796 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40787-4 / 3-540-40787-1 kart. : EUR 44.94 (freier Pr.), sfr 72.00
Literaturangaben
Quelle: DNB
