Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science - Elzbieta Hajnicz - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540609414 - 20 de marzo de 1996
En caso de que portada y título no coincidan, el título será el correcto

Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science 1996 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures and their algorithmic representations. It analyzes logical descriptions and algorithmic representions of time structures.


249 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de marzo de 1996
ISBN13 9783540609414
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 249
Dimensiones 156 × 234 × 13 mm   ·   367 g
Lengua Inglés  

Mere med samme udgiver