Logic based program synthesis and transformation
: 16th International Symposium ; revised selected papers / LOPSTR 2006, Venice, Italy, July 12-14, 2006. Germán Puebla (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4407)
ISBN 978-3-540-71410-1
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 15th international symposium ; revised selected papers / LOPSTR 2005, London, UK, September 7 - 9, 2005. Patricia M. Hill (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3901)
ISBN 978-3-540-32656-4
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 14th international symposium ; revised selected papers / LOPSTR 2004, Verona, Italy, August 26 - 28, 2004. Sandro Etalle (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3573)
ISBN 978-3-540-31683-1
Lizenzpflichtig
Quelle: DNB
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
