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

Advances in Temporal Logic

Advances in Temporal Logic

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

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems.

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

Single Product Purchase

$129.00
@ 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
$129.00 $129.00

$129.00
See Site In stock Visit Store

Similar Products

Modelling Pulsar Wind Nebulae

$169.99

Why Men Love Bitches- from Doormat To Dreamgirl-a Woman's Guide To Holding Her Own in A Relationship by Sherry Argov

$15.95

Soil Nitrogen Ecology

$219.99

Galileos Logic of Discovery and Proof

$219.99

Numerical Treatment of Differential Equations

$34.99

Kapital und Produktion

$99.99

Untersuchung der Kohlenwasserstoffle und Fette sowie der ihnen verwandten Stoffe

$84.99

Artificial Intelligence Trends in Systems

$219.99

Laplacian Eigenvectors of Graphs

$44.99

Untersuchungen ber das dynamische Verhalten neuartiger Gleichstromvorschubantriebe fr Werkzeugmasc

$59.99

Entanglement and Decoherence

$39.99

Therapeutic Cultural Routines to Build Family Relationships

$99.99

New Social Connections

$109.99

Event-Driven Surveillance

$54.99

Anti-Italianism

$54.99

Hermann Weyl und die Mathematik an der ETH Zrich, 19131930

$74.00

The McGurk Universe

$109.00

Projektmanagement in der Automobilindustrie

$59.99

Finite-Elemente-Methode

$44.99

Developing B2B Social Communities

$29.99

The Falklands/Malvinas War in the South Atlantic

$129.99

Armut, soziale Ausgrenzung und Klassenstruktur

$69.99

Die Wirkungen von Handelsliberalisierungen

$64.99

Heavy Gas and Risk Assessment - I

$219.99

Humanitarian Engineering

$19.99

Tetrapyrroles

$169.00

A Syncretistic Theory of Depiction

$39.99

I Forgot: The Day I Forgot to Wash My Hands / El da que olvid lavarme las manos

$3.71

Das Staatliche Luitpoldkrankenhaus u Wrzburg

$59.99

India, Mixed Enterprise and Western Business

$54.99

Opportunities and Challenges for Next-Generation Applied Intelligence

$169.99

Leistungsorientierte Vergtung

$59.99

Building Renovation

$69.99

Unmasking the Science of Superpowers

$3.71

Economics of Child Labour

$109.99

gner

$24.99

Die Universalbank

$69.99

Praxiswissen Radar und Radarsignalverarbeitung

$159.99

Hhere Mathematik in Beispielen

$19.99

Fragmentation of International Trade Law Reassessed

$139.00