Bookbot

Temporal Logic

Buchbewertung

4,0(4)Abgeben

Mehr zum Buch

"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.

Buchkauf

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

Sprache
Erscheinungsdatum
1995
product-detail.submit-box.info.binding
(Hardcover)
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

4,0
Sehr gut
4 Bewertung

Hier könnte deine Bwertung stehen.