
Executable Modal and Temporal Logics (English, Michael Fisher | Richard Owens)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540589761 |
| ISBN-10 | 3540589767 |
| Author | Michael Fisher | Richard Owens |
Product Description
Here on GlowMirror, you'll find Executable Modal and Temporal Logics filed under Springer -- everything you need to know is covered below.
About the Book
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 volu…
ISBN: 9783540589761
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Executable Modal and Temporal Logics
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Students and professionals interested in Springer, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





