Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Language: English
Published by Springer-Verlag, 1995
- Softcover
- Used
Seller: George Cross Books, Lexington, MA, U.S.A.George Cross Books
AbeBooks seller since June 11, 2003
Association member: IOBA
Condition: Used
US$ 33.00
Quantity: 1 available
Add to basketItem description from seller
Very Good/Wraps (34589) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 897 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. 180.
Seller Inventory # 34589
- Title
- Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
- Author
- Fisher, Michael; Owens, Richard (Eds.)
- Publisher
- Springer-Verlag
- Publication year
- 1995
- Binding
- Paperback
- Language
- English
- ISBN 10
- 3540589767
- ISBN 13
- 9783540589761
- Edition
- Reprint edition.
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.
"Synopsis" may belong to another edition of this title.
George Cross Books
Lexington, MA, U.S.A.
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 4.00 | US$ 10.00 |
Payment methods
- Cash
- Check
- Invoice
- Money Order
- Paypal
Store description
Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.
Specialty
Photography, Science Fiction, Social Sciences, Science, Computer Science, MathematicsAssociation member
Seller's business information
George Cross Books
MA, U.S.A.
Terms of sale
George Cross Books guarantees the condition of every book as it is described. If
you are dissatisfied for any reason, return your purchase within 7 days of receipt
for a full refund of the purchase price. We'll also refund shipping costs if the
return was a result of our error. Please send us an email before making a return.
Contact details: George Cross, 6 3rd St, Lexington MA 02420, USA. Email:
georgecrossbooks@gmail.com. Phone number: 877-822-8763. Fax Number: 877-822-
8763.
Shipping terms
Orders usually ship within 2 business days. Free shipping applies to Media Mail in the United States and FPO/APO/AE/AP zip codes where Media Mail is permitted. Please note that Media Mail to Hawaii, Alaska, and Puerto Rico may take 3-5 weeks, and Priority mail is encouraged for these locales expecially for textbooks. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.