Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science - Elzbieta Hajnicz - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540609414 - 20 mars 1996
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 569

Beställningsvara

Förväntad leverans 30 sep - 8 okt
Få avisering om nya utgåvor med Elzbieta Hajnicz

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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 Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 20 mars 1996
ISBN13 9783540609414
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 249
Mått 156 × 234 × 13 mm   ·   367 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med Elzbieta Hajnicz