AddALL.com - Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 : Proceedings (Lecture Notes in Computer Science) 0387589767 9780387589763

Don't forget to bookmark this web site !!

Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

Find more info., search and price compare for
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 : Proceedings (Lecture Notes in Computer Science)
by Michael Fisher
Binding: Paperback, 180 pages
Publisher: Springer
List Price: USD $54.95
Weight: 65
Dimension: H: 0.5 x L: 9.5 x W: 6.25 inches
ISBN 10: 0387589767
ISBN 13: 9780387589763
Click here to search for this book and compare price at 40+ bookstores with AddALL.com!

If you cannot find this book in our new and in print search, be sure to try our used and out of print search too!

Book Description:
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.

Shipping Destination:
State: (US only)
Display in:
Search by:


Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]