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:
Buy Executable Modal and Temporal Logics for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
The Collected Works of L.S. Vygotsky
$229.00
The Changing Language of Modern English Drama 19452005
$54.99
International Residential Mobilities
$179.99
Strategien an den Devisenmrkten
$59.99
Boolean Function Complexity
$119.99
Technological Innovation Across Nations
$109.99
Alternativen der Arbeitsgestaltung und ihre Bewertung
$59.99
Vasopressin and Oxytocin
$39.99
T-Cell Differentiation
$159.99
Gottfried Benn
$69.99
Kulturmanagement der Zukunft
$49.99
Risikomanagement in der Entwicklung und Produktion von Spielfilmen
$49.99
Modern Chemical Technology and Emission Control
$39.99
Vibration Mechanics
$169.99
Liebe (wie) im Fernsehen
$64.99
Glacial-Marine Sedimentation
$169.00
Salomon Maimon: Rational Dogmatist, Empirical Skeptic
$169.99
Nitric Oxide: From Research to Therapeutics
$249.99
Business Challenging Business Ethics: New Instruments for Coping with Diversity in International Bus
$54.99
Microsoft Computer Vision APIs Distilled
$24.99
Novel Phytoplankton Blooms
$129.00
The Graveyard Riddle (Hardcover)
$13.49
Analysis of Phylogenetics and Evolution with R
$54.99
Cloud Computing, Smart Grid and Innovative Frontiers in Telecommunications
$109.99
Haushaltskonsolidierung
$99.00
Elemente der Chemie-Ingenieur-Technik
$79.99
Arbuscular Mycorrhizal Fungi and Higher Plants
$249.99
The Conditions of Democracy in Europe 1919-39
$219.99
Congenital Deformities of the Hand and Upper Limb
$129.00
Lexikon der Arzneipflanzen und Drogen
$89.99
Drugs in South Asia
$109.99
Scholastic Success With Addition & Subtraction: Grade 3 Workbook
$5.24
Component-Based Software Engineering
$54.99
DNA-Gehalt und Proliferationskinetik der Carcinome des Kiefer- und Gesichtsbereichs
$59.99
Biodiversity and Conservation in Europe
$219.99
Microsoft Excel Functions Quick Reference
$34.99
Rubber Chemicals
$39.99
Humankapital des Grnders und Erfolg der Unternehmensgrndung
$59.99
In Vitro Diagnostic Industry in China
$169.00
Controlling im Gesundheitsbetrieb
$39.99
