Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science - Elzbieta Hajnicz - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540609414 - 20. marca 1996
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 30. jul - 7. avg
Prejemajte obvestila o novih izdajah izvajalca Elzbieta Hajnicz
Dodaj na svoj seznam želja iMusic

Not rated yet

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 20. marca 1996
ISBN13 9783540609414
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 249
Dimenzije 156 × 234 × 13 mm   ·   367 g
Jezik Angleščina  

Več od istega **izdajatelja**