Pastāsti draugiem par šo preci:
Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science Elzbieta Hajnicz 1996 edition
Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science
Elzbieta Hajnicz
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 |