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 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