Automata, languages, and programming
: 21st international colloquium ; proceedings / ICALP 94, Jerusalem, Israel, July 1994. Serge Abiteboul ; Eli Shamir (ed.). - Berlin : Springer, 1994. - XIII, 644 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 820)
ISBN 978-3-540-58201-4 / 3-540-58201-0 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Automata logics, and infinite games
: a guide to current research / Erich Grädel ... (ed.). - Berlin : Springer, 2002. - VIII, 385 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2500)
ISBN 978-3-540-00388-5 / 3-540-00388-6 kart. : EUR 48.15
Literaturverz. S. 365 - 376
Quelle: DNB
Automata logics, and infinite games
: a guide to current research / E. Grädel ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2500)
ISBN 978-3-540-36387-3
Lizenzpflichtig
Quelle: DNB
Automated and algorithmic debugging
: first international workshop ; proceedings / AADEBUG '93, Linköping, Sweden, May 3 - 5, 1993. Peter A. Fritzson (ed.). - Berlin : Springer, 1993. - VIII, 367 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 749)
ISBN 978-3-540-57417-0 / 3-540-57417-4 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7 - 10, 1999. Harald Ganzinger (ed.). - Berlin : Springer, 1999. - XIV, 428 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1632 : Lecture notes in artificial intelligence)
ISBN 978-3-540-66222-8 / 3-540-66222-7 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. M. A. McRobbie ; J. K. Slaney (ed.). - Berlin : Springer, 1996. - XV, 764 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1104 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61511-8 / 3-540-61511-3 kart. : DM 142.00
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003. Franz Baader (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2741 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45085-6
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30, 2002. A. Voronkov (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2392 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45620-9
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 1999. Harald Ganzinger (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1632 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48660-2
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 1998. C. Kirchner ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1421 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69110-5
Lizenzpflichtig
Quelle: DNB
