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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Euroschool Lectures on Physics With Exotic Beams, Vol. II
$39.99
Democracy and Deterrence
$14.99
Healing the Wounds of Gukurahundi in Zimbabwe
$54.99
Epidemiologische Untersuchung ber die Hufigkeit der bakteriellen Niereninfektion in der Bevlkerun
$59.99
Beginning iPhone Development with Swift 5
$34.99
Astrophysics of the Interstellar
$159.99
Biomechanics of Cell Division
$54.99
Hombre Mosca Presenta: Dinosaurios (Fly Guy Presents)
$3.74
The Development of Security and Whole Care System for the Aged in China
$54.99
Mechanismusbasiertes Entdecken in der Photoredoxkatalyse
$49.99
Molecular Biology and its Application to Medical Mycology
$84.99
Inborn Errors of Immunity and Phagocytosis
$54.99
Beginning Google Maps Mashups with Mapplets, KML, and GeoRSS
$39.99
Fernfhlen und Mesmerismus
$59.99
Microscopic Quantum Many-Body Theories and Their Applications
$84.99
Das Brot
$44.99
Projektkompass eLogistik
$64.99
Politische Sozialisation
$69.99
Ombudsmen at the Crossroads
$59.99
Drunk on Love by Jasmine Guillory
$18.00
The Chemistry of Rotational Isomers
$54.99
Chirurgische Laparoskopie
$69.99
Problems of Collapse and Numerical Relativity
$129.00
Software Testing Automation
$199.99
Advances in Cryptology - ASIACRYPT 2000
$39.99
Wissenssoziologische Diskursanalyse
$59.99
Marshmallow Friends: Rainbow Day
$3.71
Echoventrikulographie
$69.99
Next Generation Healthcare Informatics
$199.99
Solid Waste Processing and Resource Recovery
$169.99
EAES Guidelines for Endoscopic Surgery
$109.99
Planung in ffentlicher Hand
$69.99
The Physics and Technology of Amorphous SiO2
$84.99
Nach der Finanzkrise - Banken in der Klemme?
$74.99
I Survived the American Revolution, 1776 (#15)
$3.74
Holography for the New Millennium
$84.99
Nonlinear Differential Equations and Dynamical Systems
$64.99
Wahrnehmung des strategischen Handlungsspielraumes
$59.99
Urban Development in Asia: Pathways, Opportunities and Challenges
$54.99
Metaphor and Diaspora in Contemporary Writing
$54.99
