hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Etalle, Sandro
2 Treffer
Seite < 1 >
Cover

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

Cover

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

Seite < 1 >
Projekte . Kooperationen