Item description for Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science) by Michael Fisher...
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming. This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9" Width: 6.1" Height: 0.5" Weight: 0.6 lbs.
Release Date Mar 17, 1995
ISBN 3540589767 ISBN13 9783540589761
Availability 118 units. Availability accurate as of May 28, 2017 12:59.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
More About Michael Fisher
MICHAEL FISHER is Robert S. Danforth Professor of History, Oberlin College, USA. His most recent book is Counterflows to Colonialism: Indian Travellers and Settlers in Britain, 1600-1857 (2004).
Michael Fisher was born in 1962 and has an academic affiliation as follows - Rutgers University and Hunter College-CUNY University of Liverpool, UK.