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
Big Data BigData 2022
$59.99
The Palgrave Handbook of Sociocultural Perspectives on Global Mental Health
$299.00
Tutorium Elektrodynamik
$39.99
konomie sensibler Gter
$74.99
The Making and Un-Making of Neuronal Circuits in Drosophila
$109.99
Rechnungslegung und Wettbewerbsschutz im deutschen und europischen Recht
$119.00
Price Effects in Input-Output Relations: A Theoretical and Empirical Study for the Netherlands 1949
$54.99
Next Generation Wireless Communication
$139.99
Basel anno dazumal
$39.99
Knstliche Intelligenz und Machine Learning mit R
$44.99
Die Lwen-Liga
$17.99
Proteogenomics
$129.00
Bildjournalismus und Pressefotografie
$37.99
Verkaufswettbewerbe
$39.99
Thirty Years of Astronomical Discovery with UKIRT
$219.99
Speech Act and Sachverhalt
$219.99
Elicitive Conflict Transformation and the Transrational Shift in Peace Politics
$54.99
The Behavior of Structures Composed of Composite Materials
$99.00
Fire Detection in Warehouse Facilities
$54.99
Automata Theory and Formal Languages
$59.99
Politics in the Russian Regions
$39.99
An Introduction to Chinese History and Culture
$109.99
Applications of Membrane Computing
$84.99
Well-Being of Youth and Emerging Adults across Cultures
$109.99
Technologies for Sustainable Transportation Infrastructures
$379.99
The Parker Inheritance
$6.74
X-Ray and Neutron Structure Analysis in Materials Science
$39.99
Digital Business Transformation
$179.99
Cognitive Supervision for Robot-Assisted Minimally Invasive Laser Surgery
$59.99
The Ethics of Business in a Global Economy
$109.99
Modelling and Simulation for Autonomous Systems
$54.99
History of Vaccine Development
$229.00
Neurobiology of Exceptionality
$109.99
Immigration Policymaking in the Global Era
$39.99
Unmanned Aerial Vehicle Cellular Communications
$169.99
Mangoes, Mischief, and Tales of Friendship
$7.46
Numerical Treatment of Eigenvalue Problems Vol. 5 / Numerische Behandlung von Eigenwertaufgaben Band
$54.99
UNIX fr Software-Entwickler
$44.99
Carlos and the Squash Plant / Carlos y la planta de calabaza
$5.21
David Makinson on Classical Methods for Non-Classical Problems
$169.99
