Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Executable Modal and Temporal Logics

Executable Modal and Temporal Logics

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540491682
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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