Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science - Elzbieta Hajnicz - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540609414 - 1996. gada 20. marts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 8. - 16. jūl.
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1996. gada 20. marts
ISBN13 9783540609414
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 249
Izmēri 156 × 234 × 13 mm   ·   367 g
Valoda Angļu  

Mere med samme udgiver