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
Guided Reading Level Pack 2
$69.00
The Social Psychology of Inequality
$179.99
Elliptic Curves, Modular Forms and Iwasawa Theory
$199.99
Rho GTPases
$109.99
Postharvest Handling and Storage of Cut Flowers, Florist Greens, and Potted Plants
$159.99
The Rise of Private Actors in the Space Sector
$44.99
Verkaufen!
$29.99
Positron Emission Tomography of the Brain
$109.99
Atlas of Stem Anatomy in Herbs, Shrubs and Trees
$199.99
New Approaches to Death in Cities during the Health Transition
$54.99
Mathematical Methods in Dynamic Economics
$109.99
Advances in Information and Communication
$299.99
Global Sourcing of Digital Services: Micro and Macro Perspectives
$54.99
The Plurality Trilemma
$129.99
Surgical Versus Conservative Treatment of Intracranial Arteriovenous Malformations
$54.99
Separations of f Elements
$109.99
Toward a Sociobiological Hermeneutic
$54.99
Real Voices
$109.99
Five First Chances- A Novel by Sarah Jost
$16.99
Representation and Brain
$169.99
New and Developing Sources of Food Proteins
$169.99
Gas Sensing Fundamentals
$379.99
Automatic Processing of Natural-Language Electronic Texts with NooJ
$54.99
Bisexuality
$119.00
Monetary Policy and the Oil Market
$54.99
The Governance of Telecom Markets
$49.99
The Golden Guide to Oncologic Pharmacy
$139.99
Pharmaceutical Supply Chains - Medicines Shortages
$169.99
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
$54.99
Wireless Positioning: Principles and Practice
$199.99
Fertigungsregelung durch zielgrenorientierte Planung und logistisches Strungsmanagement
$59.99
The Cliffs: An AFK Book (Five Nights at Freddy's: Fazbear Frights #7)
$7.49
Markets, corporate behaviour and the state
$169.00
The New Codebreakers
$54.99
Medienrecht
$44.99
Adaptation to Coastal Storms in Atlantic Canada
$54.99
Elektrische Energiespeichersysteme
$44.99
Cuentos Fonticos (Spanish Phonics Readers): Vamos a dibujar!
$3.71
Englands Mission
$39.99
Laser Applications in Medicine and Biology
$39.99
