Von dem Buch Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 20-2: . Pisa, Italy, June 20 - 21, 1994. Proceedings haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Sous la direction de: Laurent Fribourg, Sous la direction de: Franco Turini: Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 20-2: . Pisa, Italy, June 20 - 21, 1994. Proceedings (ISBN: 9783540587927) 1994. Ausgabe, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
69%: Laurent Fribourg, Franco Turini: Logic Program Synthesis and Transformation- Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 1994 (Lecture Notes in Computer Science) (ISBN: 9780387587929) 1994, Springer-Verlag, in Englisch, Broschiert.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 20-2: . Pisa, Italy, June 20 - 21, 1994. Proceedings
6 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 68,13 | € 60,47 | € 63,29 | € 36,68 |
| Nachfrage |
1
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings (1994)
EN NWISBN: 9783540587927 bzw. 3540587926, in Englisch, 458 Seiten, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, neu.
Neu ab: EUR 70,33 (6 Angebote)
Gebraucht ab: EUR 18,83 (6 Angebote)
Zu den weiteren 12 Angeboten bei Amazon.fr (Int.)
Lieferung aus: Frankreich, Expédition sous 1 à 2 jours ouvrés.
Von Händler/Antiquariat, D B S.
Logic Program Synthesis and Transformation - Meta-Programming in Logic This volume contains the joint proceedings of the 4th International Workshop on Logical Program Synthesis and Transformation, and the 4th Workshop on Meta-Programming, held in Pisa, Italy in June 1994. Full description, Broché, Label: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Produktgruppe: Book, Publiziert: 1994-11-30, Studio: Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Von Händler/Antiquariat, D B S.
Logic Program Synthesis and Transformation - Meta-Programming in Logic This volume contains the joint proceedings of the 4th International Workshop on Logical Program Synthesis and Transformation, and the 4th Workshop on Meta-Programming, held in Pisa, Italy in June 1994. Full description, Broché, Label: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Produktgruppe: Book, Publiziert: 1994-11-30, Studio: Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
2
Symbolbild
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - . (Lecture Notes in Computer Science) (1994)
DE PB USISBN: 9783540587927 bzw. 3540587926, in Deutsch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: DEU.
Von Händler/Antiquariat, GuthrieBooks.
Springer, 1994-12-13. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.Shipped promptly in a padded envelope or cardboard box.
Von Händler/Antiquariat, GuthrieBooks.
Springer, 1994-12-13. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.Shipped promptly in a padded envelope or cardboard box.
3
Logic Program Synthesis and Transformation- Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa, Italy, June 1994 (Lecture Notes in Computer Science) (1994)
EN HC NWISBN: 9780387587929 bzw. 0387587926, in Englisch, Springer-Verlag, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 3 to 5 weeks.
Von Händler/Antiquariat, Amazon.com.
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies. Hardcover, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-12, Studio: Springer-Verlag.
Von Händler/Antiquariat, Amazon.com.
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies. Hardcover, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-12, Studio: Springer-Verlag.
4
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - . (Lecture Notes in Computer Science) (2008)
EN PB USISBN: 9783540587927 bzw. 3540587926, in Englisch, 468 Seiten, 1994. Ausgabe, Springer, Taschenbuch, gebraucht.
Neu ab: £49.48 (11 Angebote)
Gebraucht ab: £2.85 (10 Angebote)
Zu den weiteren 21 Angeboten bei Amazon.co.uk
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Usually dispatched within 1-2 business days.
Von Händler/Antiquariat, Phatpocket Book Shoppe.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Phatpocket Book Shoppe.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - . (Lecture Notes in Computer Science) (2008)
EN PB NWISBN: 9783540587927 bzw. 3540587926, in Englisch, 468 Seiten, 1994. Ausgabe, Springer, Taschenbuch, neu.
Neu ab: £49.48 (11 Angebote)
Gebraucht ab: £2.85 (10 Angebote)
Zu den weiteren 21 Angeboten bei Amazon.co.uk
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Usually dispatched within 1-2 business days.
Von Händler/Antiquariat, D B S.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, D B S.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, Lopstr '94 and Meta '94, Pisa
DEISBN: 9783540587927 bzw. 3540587926, in Deutsch, Springer.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…