Logic based program synthesis and transformation
: 11th international workshop ; selected papers / LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001. A. Pettorossi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2372)
ISBN 978-3-540-45607-0
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 10th international workshop ; selected papers / LOPSTR 2000, London, UK, July 24 - 28, 2000. K.-K. Lau (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2042)
ISBN 978-3-540-45142-6
Lizenzpflichtig
Quelle: DNB
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
: 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 programming and nonmonotonic reasoning
: 9th international conference ; proceedings / LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007. Chitta Baral ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4483 : Lecture notes in artificial intelligence)
ISBN 978-3-540-72200-7
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: second international colloquium ; proceedings / ICTAC 2005, Hanoi, Vietnam, October 17 - 21, 2005. Dang Van Hung ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3722)
ISBN 978-3-540-32072-2
Lizenzpflichtig
Quelle: DNB
Typed lambda calculi and applications
: 8th international conference ; proceedings / TLCA 2007, Paris, France, June 26 - 28, 2007. Simona Ronchi Della Rocca (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4583)
ISBN 978-3-540-73228-0
Lizenzpflichtig
Quelle: DNB
Typed lambda calculi and applications
: 6th international conference ; proceedings / TLCA 2003, Valencia, Spain, June 10 - 12, 2003. Martin Hoffmann (ed.). - Berlin : Springer***5108985, 2003. - VIII, 315 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2701)
ISBN 978-3-540-40332-6 / 3-540-40332-9 kart. : EUR 49.22
Literaturangaben
Quelle: DNB
