Börger, Egon: The classical decision problem

/ Egon Boerger ; Erich Grädel ; Yuri Gurevich. - Berlin : Springer, 1997. - XII, 482 S. : graph. Darst.; 24 cm - (Perspectives in mathematical logic)

ISBN 978-3-540-57073-8 / 3-540-57073-X Pp. : DM 158.00

Literaturverz. S. 421 - 476

Quelle: DNB

Börger, Egon: The classical decision problem

/ Egon Börger ; Erich Grädel ; Yuri Gurevich. - 2. printing of the 1. ed. - Berlin : Springer, 2001. - X, 482 S. : graph. Darst.; 24 cm - (Universitext)

ISBN 978-3-540-42324-9 / 3-540-42324-9 kart. : DM 96.19

Quelle: DNB

Frontiers of combining systems

: 4th international workshop ; proceedings / FroCoS 2002, Santa Margherita Ligure, Italy, April 8 - 10, 2002. A. Armando (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2309 : Lecture notes in artificial intelligence)

ISBN 978-3-540-45988-0

Lizenzpflichtig

Quelle: DNB

Frontiers of combining systems

: 6th international symposium ; proceedings / FroCoS 2007, Liverpool, UK, September 10 - 12, 2007. Boris Konev ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4720 : Lecture notes in artificial intelligence)

ISBN 978-3-540-74621-8

Lizenzpflichtig

Quelle: DNB

Frontiers of combining systems

: 5th international workshop ; proceedings / FroCoS 2005, Vienna, Austria, September 19 - 21, 2005. Bernhard Gramlich (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3717)

ISBN 978-3-540-31730-2

Lizenzpflichtig

Quelle: DNB

Frontiers of combining systems

: third international workshop ; proceedings / FroCoS 2000, Nancy, France, March 22 - 24, 2000. Hélène Kirchner ; Christophe Ringeissen (ed.). - Berlin : Springer, 2000. - X, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1794 : Lecture notes in artificial intelligence)

ISBN 978-3-540-67281-4 / 3-540-67281-8 kart. : DM 74.00

Literaturangaben

Quelle: DNB