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

Beurteilungsmastbe fr mechanische Schwingungen

$59.99

Green Industrial Applications of Ionic Liquids

$219.99

Geriatrie Psychiatrie

$69.99

Online Matchmaking

$54.99

Control Synthesis of Switched Systems

$109.99

Environmental Innovation and Firm Performance

$54.99

Practical Elements of Safety

$169.99

The Twisted Ones: Five Nights at Freddy's (Five Nights at Freddy's Graphic Novel #2)

$9.74

From Bioinspired Systems and Biomedical Applications to Machine Learning

$54.99

Infectious Disease in the Aging

$329.99

Expounding the Mathematical Seed

$169.99

Planet Mercury

$84.99

Physically Based Shader Development for Unity 2017

$79.99

Neoplasms of the Biliary Tract

$89.00

Entscheidungsuntersttzende Endbenutzersysteme

$44.99

GMP-Risikoanalysen

$17.99

The Elemental Passions of the Soul Poetics of the Elements in the Human Condition: Part 3

$329.99

Subtracting 3 Digits Grade 3 Differentiation Pack

$5.99

The Phonemes of English

$109.99

Geothermics

$64.99

Die Vorratsinventur

$59.99

Paroxysmal Nocturnal Hemoglobinuria and Related Disorders

$84.99

Monetary and Fiscal Policy, the Exchange Rate and Foreign Wealth

$169.99

Internationale Kooperationen und Joint Ventures

$69.99

Henry and Mudge: Henry and Mudge in the Sparkle Days

$3.71

Rebuilding the Earth

$29.99

Approximation and Online Algorithms

$39.99

FTK97

$69.99

Rethinking U.S. World Power

$159.99

Zwischen Tradition und Innovation

$99.99

Peirce and Husserl: Mutual Insights on Logic, Mathematics and Cognition

$139.99

Computational Logic in Multi-Agent Systems

$54.99

The United States and Contemporary China-Russia Relations

$159.99

University Initiatives in Climate Change Mitigation and Adaptation

$119.00

Configurational Forces as Basic Concepts of Continuum Physics

$109.99

Marketing sucht Zielgruppe oder: Was macht der Gorilla am POS?

$19.99

Shale Gas: Ecology, Politics, Economy

$149.00

Management of Oesophageal Carcinoma

$39.99

Perspectives and Trends in Education and Technology

$299.99

Das Gemeinderecht in den Lndern der Bundesrepublik Deutschland

$59.99