Items related to Algebraic and Logic Programming: 4th International...

Algebraic and Logic Programming: 4th International Confernence, Alp '94, Madrid, Spain, September 14-16, 1994 Proceedings (Lecture Notes in Computer Science) - Softcover

 
9780387584317: Algebraic and Logic Programming: 4th International Confernence, Alp '94, Madrid, Spain, September 14-16, 1994 Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387584315 ISBN 13: 9780387584317
Publisher: Springer Verlag, 1994

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1994
Language
English
ISBN 10 
0387584315
ISBN 13 
9780387584317
Binding
Paperback
Number of pages
304
Editor
Giorgio Levi, Mario Rodríguez-Artalejo

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540584315: Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (Lecture Notes in Computer Science, 850)

Featured Edition

ISBN 10:  3540584315 ISBN 13:  9783540584315
Publisher: Springer, 1994
Softcover