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
Mathematische Modelle fr die klinische Forschung: enzymatische und pharmakokinetische Prozesse
$69.99
Histopathologie der Haut
$64.99
Ergonomic Data for Equipment Design
$39.99
Quieres jugar, Cangrejito? (Let's Play, Crabby!)
$4.49
Intelligent Beam Control in Accelerators
$139.99
Akzidentielle Medienhypes
$49.99
Promoting Nonviolence in Early Adolescence
$109.99
Frbereichemische Untersuchungen
$59.99
Central and East European Migrants' Contributions to Social Protection
$84.99
Arts Based Health Care Research: A Multidisciplinary Perspective
$54.99
The Soils of Ethiopia
$169.00
Cometary Science after Hale-Bopp
$169.99
The Economics of Postal Service
$109.99
Reviews of Physiology, Biochemistry and Pharmacology
$129.99
Artificial Intelligence in Medicine
$39.99
Pinta el viento
$5.99
Mit oder ohne Urknall
$44.99
Nonparametric Statistics
$169.99
Freedom and Restriction in Science and its Aspects in Society
$54.99
Vom Zhlen zum Rechnen
$84.99
Oracle Incident Response and Forensics
$27.99
Targeting Epigenetics in Inflammatory Lung Diseases
$179.99
Oxidative Stress and Nanotechnology
$159.99
Effective Implementation of Management Systems
$54.99
Strategic IT Management
$54.99
Coping with Water Scarcity
$219.99
ManMachineEnvironment System Engineering
$329.99
Lila and Hadley
$5.99
Internationale Wirtschaftsorganisationen
$59.99
The Little Black Book of Neuropsychology
$129.99
Vibration Problems in Structures
$69.99
Radiology of Haemophilic Arthropathies
$54.99
Nutrient Reduction and Biomanipulation as Tools to Improve Water Quality: The Lake Ringsjn Story
$109.99
Thyroid Ultrasound and Ultrasound-Guided FNA Biopsy
$74.99
Biomaterials in Otology
$54.99
The Soviet Union in Eastern Europe, 194589
$129.00
Random Walks, Random Fields, and Disordered Systems
$54.99
Eigenkapitalbeteiligungen an PPP-Projekten im Hochbau und im Infrastrukturbereich
$69.99
Knowledge Networks for Business Growth
$54.99
Transmission-Efficient Design and Management of Wavelength-Routed Optical Networks
$84.99
