Extensions of Logic Programming - 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Paperback, 1994 ed.)

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 798
Release date:	May 1994
First published:	1994
Editors:	Roy Dyckhoff
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Paperback
Pages:	368
Edition:	1994 ed.
ISBN-13:	978-3-540-58025-6
Categories:	Books > Computing & IT > Computer programming > General Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-540-58025-5
Barcode:	9783540580256

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!