6th Joint ALP '97 - HOA '97, Southhampton, UK, September 3-5, Proceedings
6 Angebote vergleichen
| Preise | 2011 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 42,99 | € 54,44 | € 52,63 | € 61,73 |
| Nachfrage |
1
Symbolbild
Algebraic and Logic Programming: 6th International Joint Conference, ALP 97 - Hoa 97, Southhampton, UK, September 3-5, 1997. Proceedings (Paperback) (1997)
DE PB NW RPISBN: 9783540634591 bzw. 3540634592, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: English Brand New Book ***** Print on Demand *****.This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP 97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA 97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
Language: English Brand New Book ***** Print on Demand *****.This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP 97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA 97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
2
Algebraic and Logic Programming (1997)
~EN PB NWISBN: 9783540634591 bzw. 3540634592, vermutlich in Englisch, Springer Nature, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods. Soft cover.
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods. Soft cover.
3
Symbolbild
Algebraic and Logic Programming. 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (1997)
DE PB USISBN: 9783540634591 bzw. 3540634592, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, UK, United Kingdom.
Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
4
Symbolbild
International Workshop On Higher-Order Algebra, Logic, And Term Rewrit; International Conference On Algebraic And Logic...
Programming: 6th Joint Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 Proceedings (1997)
DE PB USISBN: 9783540634591 bzw. 3540634592, in Deutsch, 1997. Ausgabe, Springer, Berlin, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Lawrence's Books, CA, Torrance, [RE:5].
Book, 1997 ed.
Von Händler/Antiquariat, Lawrence's Books, CA, Torrance, [RE:5].
Book, 1997 ed.
6
Algebraic Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science) (2008)
DE USISBN: 9783540634591 bzw. 3540634592, in Deutsch, Springer, gebraucht.
getbooks GmbH, [4040832].
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…