Bookbot

Temporal Logic

Valoración del libro

4,0(4)Añadir reseña

Más información sobre el 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.

Compra de libros

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

Idioma
Publicado en
1995
product-detail.submit-box.info.binding
(Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

4,0
Muy bueno
4 Valoraciones

Nos falta tu reseña aquí