Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science - Elzbieta Hajnicz - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540609414 - 20 maart 1996
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 28 jul. - 5 aug.
Ontvang meldingen over nieuwe releases van Elzbieta Hajnicz
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 20 maart 1996
ISBN13 9783540609414
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 249
Afmetingen 156 × 234 × 13 mm   ·   367 g
Taal en grammatica Engels  

Meer van dezelfde uitgever