0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Algebraic and Logic Programming - 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Paperback, 1997 ed.) Loot Price: R1,499
Discovery Miles 14 990
Algebraic and Logic Programming - 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September...

Algebraic and Logic Programming - 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Paperback, 1997 ed.)

Michael Hanus, Jan Heering, Karl Meinke

Series: Lecture Notes in Computer Science, 1298

 (sign in to rate)
Loot Price R1,499 Discovery Miles 14 990 | Repayment Terms: R140 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 1298
Release date: August 1997
First published: 1997
Editors: Michael Hanus • Jan Heering • Karl Meinke
Dimensions: 235 x 155 x 16mm (L x W x T)
Format: Paperback
Pages: 297
Edition: 1997 ed.
ISBN-13: 978-3-540-63459-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 3-540-63459-2
Barcode: 9783540634591

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,281 Discovery Miles 22 810
Clean Architecture - A Craftsman's Guide…
Robert Martin Paperback  (1)
R860 R741 Discovery Miles 7 410
Systems Engineering Neural Networks
A Migliaccio Hardcover R2,817 Discovery Miles 28 170
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,027 R881 Discovery Miles 8 810
Thinking Machines - Machine Learning and…
Shigeyuki Takano Paperback R2,011 Discovery Miles 20 110
Advances in Delay-Tolerant Networks…
Joel J. P. C. Rodrigues Paperback R4,669 Discovery Miles 46 690
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R895 R773 Discovery Miles 7 730
Grammatical and Syntactical Approaches…
Juhyun Lee, Michael J. Ostwald Hardcover R5,315 Discovery Miles 53 150
Kreislauf des Lebens
Jacob Moleschott Hardcover R1,199 Discovery Miles 11 990
Edsger Wybe Dijkstra - His Life, Work…
Krzysztof R. Apt, Tony Hoare Hardcover R2,920 Discovery Miles 29 200
Advances in Intelligent Systems…
Sergey Yurish Hardcover R2,453 Discovery Miles 24 530

See more

Partners