Von dem Buch Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science) 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%: Heering, Jan [Editor]; Meinke, Karl [Editor]; Möller, Bernhard [Editor]; Nipkow, Tobias [Editor]: Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science) (ISBN: 9783540582335) in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
47%: Jan Heering, Karl Meinke, Bernhard Moller, Editor: Tobias Nipkow: Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science) (ISBN: 9780387582337) 1994, Springer-Verlag New York, LLC, in Englisch, Band: 816, Taschenbuch.Nur diese Ausgabe anzeigen…
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science)
11 Angebote vergleichen
| Preise | 2011 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 51,99 | € 62,82 | € 55,92 | € 54,15 |
| Nachfrage |
1
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science) (2008)
DE USISBN: 9783540582335 bzw. 3540582339, in Deutsch, Springer, gebraucht.
getbooks GmbH, [4040832].
360 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 654248.01.
360 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 654248.01.
2
Symbolbild
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science) (1994)
EN PB USISBN: 9780387582337 bzw. 0387582339, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, GuthrieBooks.
Springer-Verlag, 1994-07-01. Paperback. Very Good. 3540582339 Ex-library paperback in very nice condition with the usual markings and attachments.
Von Händler/Antiquariat, GuthrieBooks.
Springer-Verlag, 1994-07-01. Paperback. Very Good. 3540582339 Ex-library paperback in very nice condition with the usual markings and attachments.
3
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science) (1994)
EN PB USISBN: 9780387582337 bzw. 0387582339, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, zubal-book.
This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-07, Studio: Springer-Verlag.
Von Händler/Antiquariat, zubal-book.
This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1994-07, Studio: Springer-Verlag.
4
Symbolbild
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science) (1994)
EN PB USISBN: 9780387582337 bzw. 0387582339, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1994-07. Paperback. Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1994-07. Paperback. Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
5
Higher-Order Algebra, Logic, and Term Rewriting
DE PB NWISBN: 9783540582335 bzw. 3540582339, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Symbolbild
Higher-Order Algebra, Logic, and Term Rewriting
DE NWISBN: 9783540582335 bzw. 3540582339, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Schweiz, zzgl. Versandkosten, Versandfertig innert 6 - 9 Tagen.
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
7
Higher-Order Algebra, Logic, and Term Rewriting (1993)
~EN PB NWISBN: 9783540582335 bzw. 3540582339, vermutlich in Englisch, Springer Nature, Taschenbuch, neu.
Lieferung aus: Deutschland, 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
8
Symbolbild
Higher-Order Algebra, Logic, and Term Rewriting
DE NWISBN: 9783540582335 bzw. 3540582339, in Deutsch, Springer, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Symbolbild
Higher-Order Algebra, Logic, and Term Rewriting. Lecture Notes in Computer Science, Volume 816 (1994)
EN PBISBN: 9780387582337 bzw. 0387582339, Band: 816, in Englisch, Springer, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Zubal Books.
Springer, 1994. 344 pp., paperback, ex library, else textually clean and tight.
Von Händler/Antiquariat, Zubal Books.
Springer, 1994. 344 pp., paperback, ex library, else textually clean and tight.
10
Symbolbild
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science) (1994)
DE PBISBN: 9783540582335 bzw. 3540582339, in Deutsch, Springer, Taschenbuch.
Von Händler/Antiquariat, GuthrieBooks [52069477], Spring Branch, TX, U.S.A.
0387582339 Ex-library paperback in very nice condition with the usual markings and attachments.
0387582339 Ex-library paperback in very nice condition with the usual markings and attachments.
Lade…