Logic Programming - The 11th International Conference (Paperback)

ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation, which was first embodied in the programming language Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. "Topics covered": - Applications - Architecture - Artificial Intelligence - Concurrency - Constraints - Databases - Environments - Higher-Order Programming - Implementation - Language Design - Natural Language - Parallelism - Programming Methodology - Proof Theory - Semantics and Foundations - Static Analysis - Theorem Proving - Types

General

Imprint:	MIT Press
Country of origin:	United States
Series:	Logic Programming
Release date:	July 1994
First published:	1994
Editors:	Pascal Van Hentenryck
Dimensions:	254 x 178 x 46mm (L x W x T)
Format:	Paperback - Trade
Pages:	772
ISBN-13:	978-0-262-72022-9
Categories:	Books > Computing & IT > Computer programming > Programming languages > General
LSN:	0-262-72022-1
Barcode:	9780262720229

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!