Intentional Logics for Programming (Studies in Logic and Computation, 1, Band 1) - Hardcover

Del Cerro, Luis Farinas

 
9780198537755: Intentional Logics for Programming (Studies in Logic and Computation, 1, Band 1)
Hardcover
ISBN 10: 0198537751 ISBN 13: 9780198537755
Verlag: Clarendon Press, 1992

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Clarendon Press
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
0198537751
ISBN 13 
9780198537755
Einband
Gebundene Ausgabe
Anzahl der Seiten
230
Herausgeber
Penttonen Martti
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Penguin Random House Ireland Limited
productsafety@penguin.co.uk

Morrison Chambers, 32 Nassau Street
Dublin
Irland