Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Algebraic and Logic Programming

6th International Joint Conference ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Language EnglishEnglish
Book Paperback
Book Algebraic and Logic Programming Michael Hanus
Libristo code: 05274745
Publishers Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

L'Inquisition Devoilee: Mysteres, Delations, Tortures Fellens / Book Paperback
common.buy 39.19 €
Dějiny sovětského a ruského letectva od začátku 2. světové války do současnosti - DVD neuvedený autor / Audio Audio DVD
common.buy 6.47 €
Kuku i historia pępka Kamińska Monika / Book Hardback
common.buy 8.70 €
La meilleure façon d'avancer, c'est vous Pascal Puireux / Book Paperback
common.buy 16.09 €
A New Start - Englisch für Wiedereinsteiger - Bisherige Ausgabe - A2: Refresher Stephen Fox / Book Paperback
common.buy 41.62 €
Lehrbuch Der Sprechtechnik Hans Calm / Book Paperback
common.buy 18.42 €
Zvýrazňovač STABILO swing cool Pastel, sada 6 ks v pouzdru / Stationery items Stationery items
common.buy 9.11 €
EVERY BODY FEINBERG / Book Paperback
common.buy 30.88 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Algebraic and Logic Programming
Author Michael Hanus, Jan Heering, Karl Meinke
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 297
EAN 9783540634591
ISBN 3540634592
Libristo code 05274745
Publishers Springer, Berlin
Weight 406
Dimensions 156 x 234 x 16

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Imagine Me Gone Adam Haslett / Book Paperback
common.buy 15.08 €
Wine People Michelle Wildgen / Book Paperback
common.buy 15.79 €
VIDEO GAME HITS FOR EASY PIANO Mona Rejino / Book Paperback
common.buy 12.45 €
Marathon Hal Higdon / Book Paperback
common.buy 15.08 €
Mind Your Own Damn Business: The Greatest Lessons the Music Industry Taught Me about Business Kevin Ross / Book Paperback
common.buy 7.69 €
Economics of Poverty Martin Ravallion / Book Paperback
common.buy 68.56 €
Seeds of Disaster Robert Allan Doughty / Book Paperback
common.buy 16.30 €
Dubossary Memorial Yizkor Book (Dubasari, Moldova) - Translation of Dubossary; Sefer Zikaron Y Rubin / Book Hardback
common.buy 48.20 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?