Temporal Logic

Autori

• Peter Øhrstrøm
• P. Hasle

Parametri

• Filosofia
• Logica

Maggiori informazioni sul libro

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

Per saperne di più

Lingua: Inglese

Pubblicato: 1995

(Copertina rigida)