Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Algebraic and Logic Programming - 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (Paperback, 1994 ed.) Loot Price: R1,712

Discovery Miles 17 120

Repayment Terms: R160 pm x 12*

Add to cart

Algebraic and Logic Programming - 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings...

Algebraic and Logic Programming - 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (Paperback, 1994 ed.)

Giorgio Levi, Mario Rodriguez- Artalejo

Series: Lecture Notes in Computer Science, 850

(sign in to rate)

Loot Price R1,712 Discovery Miles 17 120 | Repayment Terms: R160 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.
Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 850
Release date:	August 1994
First published:	1994
Editors:	Giorgio Levi • Mario Rodriguez- Artalejo
Dimensions:	235 x 155 x 17mm (L x W x T)
Format:	Paperback
Pages:	314
Edition:	1994 ed.
ISBN-13:	978-3-540-58431-5
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > General Promotions
LSN:	3-540-58431-5
Barcode:	9783540584315