Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Executable Modal and Temporal Logics
Best Price (Coupon Required):
Buy Executable Modal and Temporal Logics for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Advances in Informatics
$109.99
Moral Selves, Evil Selves
$109.99
Innovation, Innovators and Business
$54.99
Two-Dimensional Superconductivity in Rare Earth Oxybismuthides with Unusual Valent Bismuth Square Ne
$199.99
Sediment Records of Biomass Burning and Global Change
$259.00
Diagnosis and the DSM
$54.99
Robustness in Automatic Speech Recognition
$219.99
Melissa (formerly published as GEORGE)
$6.74
Post-Conflict Syrian State and Nation Building
$54.99
Rising Powers and Global Governance
$39.99
Beyond Reality: Navigating the Power of Metaverse and Its Applications
$199.99
Proceedings of the International Symposium on Sustainable Energy and Power Engineering 2021
$249.99
Jugend und Wohnen
$49.99
Dynamically Coupled Rigid Body-Fluid Flow Systems
$119.99
Feminist Approaches to Media Theory and Research
$159.99
Discovery Science
$39.99
Structure and Function of Membrane Proteins
$219.99
Medizinische Informationssysteme und Elektronische Krankenakten
$59.99
Public Service Motivation in der Polizei
$79.99
Management of Thyroid Cancer and Related Nodular Disease
$169.00
Enhancing CBRNE Safety & Security: Proceedings of the SICC 2017 Conference
$109.99
Untersuchung des kautschukelastischen Verhaltens von Polyurethanionomeren
$59.99
Polymer Alloys III
$39.99
Couple Relationships in the 21st Century
$29.99
Quantencomputer & Co
$17.99
Pro SQL Server 2008 Failover Clustering
$49.99
Fluids Under Pressure
$119.00
Governing Human Well-Being
$109.99
Amenorrhea
$79.99
A Primer on the Geometry of Carbon Nanotubes and Their Modifications
$39.99
Infrastructure and the Complexity of Economic Development
$84.99
Cross National Policies and Practices on Computers in Education
$129.00
Dynamic Markov Bridges and Market Microstructure
$139.99
Software Security -- Theories and Systems
$39.99
Numerical Methods and Analysis of Multiscale Problems
$54.99
Robotics in Healthcare
$139.00
Critique and Resistance in a Neoliberal Age
$27.99
24/7: Science Behind the Scenes: Forensics: Killer Wallpaper
$5.96
The Dreamweaver Developer's Instant Troubleshooter
$39.99
