Bookbot

Temporal Logic

Évaluation du livre

4,0(4)Évaluer

En savoir plus sur le livre

"Temporal Logic: From Ancient Ideas to Artificial Intelligence" explores the history and development of temporal logic, tracing its roots from ancient philosophy to modern applications in computer science. It highlights contributions from A. N. Prior and examines the interplay between linguistic, philosophical, and computational aspects.

Achat du livre

Temporal Logic, Peter Øhrstrøm, P. Hasle

Langue
Année de publication
1995
product-detail.submit-box.info.binding
(rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

4,0
Très bien
4 Évaluations

Il manque plus que ton avis ici.