Intensional Logics for Programming (Hardcover)

Intensional logics provide a comprehensive theoretical basis for establishing the foundations of programming. This volume offers seminal work on the use of intensional logics for the semantic analysis of logic programs, and programming in intensional logics. For example, modal logic, temporal logic, and linear logic prove to be very useful for these purposes. The work presented here thus yields a better understanding of logic programs and will have a significant impact on future developments of logic programming languages. The book will interest computer science graduate students and researchers, particularly those concerned with artificial intelligence, knowledge representation, logic programming, expert systems, reasoning, and natural languages.

General

Imprint:	Clarendon Press
Country of origin:	United Kingdom
Series:	Studies in Logic and Computation, 1
Release date:	August 1992
Editors:	Luis Farinas del Cerro (Directeur de Recherche) • Martti Penttonen (Professor of Computer Science)
Dimensions:	241 x 162 x 18mm (L x W x T)
Format:	Hardcover
Pages:	230
ISBN-13:	978-0-19-853775-5
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > General Books > Science & Mathematics > Mathematics > Applied mathematics > General Promotions
LSN:	0-19-853775-1
Barcode:	9780198537755

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!