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
: 22nd international conference ; proceedings / ICLP 2006, Seattle, WA, USA, August 17 - 20, 2006. Sandro Etalle ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4079)
ISBN 978-3-540-36636-2
Lizenzpflichtig
Quelle: DNB