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
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, artificial intelligence, and reasoning
: 10th international conference ; proceedings / LPAR 2003, Almaty, Kazakhstan, September 22 - 26, 2003. Moshe Y. Vardi ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2850 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39813-4
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 9th international conference ; proceedings / LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002. M. Baaz ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2514 : Lecture notes in artificial intelligence)
ISBN 978-3-540-36078-0
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 8th international conference ; proceedings / LPAR 2001, Havana, Cuba, December 3 - 7, 2001. R. Nieuwenhuis ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2250 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45653-7
Lizenzpflichtig
Quelle: DNB