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

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
LSN:	3-540-58431-5
Barcode:	9783540584315

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!