Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science - Elzbieta Hajnicz - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540609414 - 20. marca 1996
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 13. - 23. nov
Vianočné darčeky je možné vrátiť do 31. januára
Dostávajte upozornenia na nové nahrávky interpreta Elzbieta Hajnicz
Pridať do vášho zoznamu prianí na 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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 20. marca 1996
ISBN13 9783540609414
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 249
Rozmery 156 × 234 × 13 mm   ·   367 g
Jazyk Angličtina  

Viac od toho istého vydavateľa