Springer Nature
Executable Modal And Temporal Logics-image

Executable Modal And Temporal Logics

Leggi la descrizione completa
Miglior prezzo disponibile
54,99$
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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.

Storico prezzi

Ricevi una notifica se il prezzo scende

Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.

  • Aggiornamenti dei prezzi in tempo reale
  • Oltre 50 negozi monitorati
  • Avvisi gratuiti di calo prezzo
  • Solo negozi verificati

Avvisami quando il prezzo scende sotto: 54,99$

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Modal And Temporal Properties Of Processes 54,99$ Natural Deduction, Hybrid Systems And Modal Logics 249,99$ Concise Introduction To Alternating-Time Temporal Logics 39,99$ Proof Methods For Modal And Intuitionistic Logics 219,99$ Leo Esakia On Duality In Modal And Intuitionistic Logics 109,99$ Many-Valued Semantics And Modal Logics: Essays In Honour Of Yuriy Vasilievich Ivlev 159,99$ Investigations In Modal And Tense Logics With Applications To Problems In Philosophy And Linguistics 169,99$ Temporal, Spatial, And Spatio-Temporal Data Mining 54,99$