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
Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2003, Rome, Italy, September 9 - 12, 2003 ; proceedings / V. Michele Abrusci .... - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2796 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45206-5
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: second international conference : proceedings / ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.). - Berlin : Springer, 2004. - XII, 506 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3299)
ISBN 978-3-540-23610-8 / 3-540-23610-4 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4218)
ISBN 978-3-540-47238-4
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ; Wenhui Zhang (ed.). - Berlin : Springer, 2006. - XIV, 540 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4218)
ISBN 978-3-540-47237-7 / 3-540-47237-1 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: third international symposium ; proceedings / ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3707)
ISBN 978-3-540-31969-6
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 6th international symposium ; proceedings / ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5311)
ISBN 978-3-540-88387-6
Lizenzpflichtig
Quelle: DNB
