Copied Executable Modal and Temporal Logics
Executable Modal and Temporal Logics
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Gabler Wirtschaftswrterbuch Russisch
$89.00
European Foreign and Security Policy towards China
$109.00
Die Bundesrepublik Deutschland
$54.99
Klinische Ethik - METAP
$59.99
Principles and Practice of Lacrimal Surgery
$109.00
Effects of Mass Loss on Stellar Evolution
$219.99
Mobile and Wireless Network Security and Privacy
$169.99
Hands-on Signal Analysis with Python
$44.99
Fortschritte der Arzneimittelforschung / Progress in Drug Research / Progrs des recherches pharmace
$39.99
Sustainable Resilient Built Environments
$249.99
Transitional Justice in Peru
$54.99
Drinking Water Security in Rural India
$129.99
Anansi the Spider
$6.71
Liquid-Metal Heat Transfer Media
$109.99
Trust and Trustworthy Computing
$49.99
Volatilittsprognose mit Faktor-GARCH-Modellen
$44.99
Establishing Academic Freedom
$54.99
Civilizational Populism in Democratic Nation-States
$129.99
IRC-SET 2020
$89.00
Architectural Design and CAD
$54.99
Pension Systems
$84.99
Politics and Political Elites in Latin America
$109.99
Die Masernprophylaxe und Ihre Technik
$59.99
Applied Economics, Business and Development
$54.99
Non-Suicidal Self-Injury in Eating Disorders
$84.99
Applications in Electronics Pervading Industry, Environment and Society
$249.99
Assessing, Mapping and Modelling of Mangrove Ecosystem Services in the Asia-Pacific Region
$109.99
Sol y nubes
$3.71
Atlantic Ports and the First Globalisation c. 1850-1930
$39.99
Clinical Management of Diabetic Neuropathy
$84.99
Design of Experiments for Reinforcement Learning
$109.99
Microbiota from the Late Cretaceous-Early Palaeocene Boundary Transition in the Deccan Intertrappean
$159.99
Computer-Aided Design Techniques for Low Power Sequential Logic Circuits
$129.00
Digitale Kindheiten
$69.99
Electronic Money Flows
$169.99
Golgi Atlas of the Postnatal Mouse Brain
$74.99
Smart Spaces and Next Generation Wired/Wireless Networking
$39.99
Algorithmic Aspects of Discrete Choice in Convex Optimization
$79.99
The Shakespearean Metaphor
$39.99
Hyperbolic and Kinetic Models for Self-organised Biological Aggregations
$54.99
