Bookbot

Más información sobre el libro

Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.

Compra de libros

Temporal Logics, Stephane Demri, Valentin Goranko, Martin Lange

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

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña