Logic based program synthesis and transformation
: 17th international symposium ; revised selected papers / LOPSTR 2007, Kongens Lyngby, Denmark, August 23 - 24, 2007. Andy King (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4915)
ISBN 978-3-540-78769-3
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 15 - 19, 1998. Pierre Flener (ed.). - Berlin : Springer, 1998. - X, 330 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1559)
ISBN 978-3-540-65765-1 / 3-540-65765-7 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Logic based program synthesis and transformation
: 12th international workshop ; revised selected papers / LOPSTR 2002, Madrid, Spain, September 17 - 20, 2002. Michael Leuschel (ed.). - Berlin : Springer, 2003. - X, 279 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2664)
ISBN 978-3-540-40438-5 / 3-540-40438-4 kart. : EUR 44.94
Literaturangaben
Quelle: DNB
Logic based program synthesis and transformation
: 9th international workshop ; selected papers / LOPSTR '99, Venice, Italy, September 22 - 24, 1999. Annalisa Bossi (ed.). - Berlin : Springer, 2000. - VIII, 312 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1817)
ISBN 978-3-540-67628-7 / 3-540-67628-7 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Logic Colloquium '90
: ASL summer meeting in Helsinki / J. Oikkonen ; Väänänen (ed.). - Berlin : Springer, 1993. - VIII, 305 S. : graph. Darst.; 24 cm - (Lecture notes in logic; 2)
ISBN 978-3-540-57094-3 / 3-540-57094-2 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Logic Colloquium '95
: proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995 / Johann A. Makowsky ; Elena V. Ravve (ed,). - Berlin : Springer, 1998. - XVI, 348 S. : graph. Darst.; 24 cm - (Lecture notes in logic; 11)
ISBN 978-3-540-63994-7 / 3-540-63994-2 kart. : DM 128.00
Literaturangaben
Quelle: DNB
Nerode, Anil: Logic for applications
/ Anil Nerode ; Richard A. Shore. - New York : Springer, 1993. - XVII, 365 S.; 25 cm - (Texts and monographs in computer science)
ISBN 978-3-540-94129-3 / 3-540-94129-0 Pp. : DM 70.00
Literaturverz. S. 329 - 354
Quelle: DNB
Logic for programming and automated reasoning
: 7th international conference ; proceedings / LPAR 2000, Reunion Island, France, November 6 - 10, 2000. Michel Parigot ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1955 : Lecture notes in artificial intelligence)
ISBN 978-3-540-44404-6
Lizenzpflichtig
Quelle: DNB
Logic for programming and automated reasoning
: 6th international conference ; proceedings / LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999. Harald Ganzinger ... (ed.). - Berlin : Springer, 1999. - XII, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1705 : Lecture notes in artificial intelligence)
ISBN 978-3-540-66492-5 / 3-540-66492-0 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Logic for programming and automated reasoning
: 5th international conference ; proceedings / LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Frank Pfenning (ed.). - Berlin : Springer, 1994. - X, 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 822 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58216-8 / 3-540-58216-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
