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

Computer science logic

: 15th international workshop ; proceedings / CSL 2001, Paris, France, September 10 - 13, 2001. L. Fribourg (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Annual conference of the EACSL ...; 10)

ISBN 978-3-540-44802-0

Lizenzpflichtig

Quelle: DNB

Cover

Logic program synthesis and transformation, meta programming in logic

: 4th international workshops, proceedings / LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Laurent Fribourg ; Franco Turini (ed.). - Berlin : Springer, 1994. - IX, 450 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 883)

ISBN 978-3-540-58792-7 / 3-540-58792-6 kart. : DM 86.00

Literaturangaben

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen
Advertorial