LEADER 02683nam  2200589   450 
001 9910484488803321
005 20210216145350.0
010   $a1-280-38576-6
010   $a9786613563682
010   $a3-642-11881-X
024 7 $a10.1007/978-3-642-11881-4
035   $a(CKB)2670000000003381
035   $a(EBL)3065029
035   $a(SSID)ssj0000355447
035   $a(PQKBManifestationID)11249113
035   $a(PQKBTitleCode)TC0000355447
035   $a(PQKBWorkID)10320112
035   $a(PQKB)10578250
035   $a(DE-He213)978-3-642-11881-4
035   $a(MiAaPQ)EBC3065029
035   $a(MiAaPQ)EBC6351855
035   $a(PPN)149073593
035   $a(EXLCZ)992670000000003381
100   $a20210216d2010      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aAutomata for branching and layered temporal structures $ean investigation into regularities of infinite transition systems /$fGabriele Puppis
205   $a1st ed. 2010.
210  1$aBerlin ;$aHeidelberg :$cSpringer,$d[2010]
210  4$d©2010
215   $a1 online resource (212 p.)
225 1 $aLecture notes in artificial intelligence ;$v5955
300   $aDescription based upon print version of record.
311   $a3-642-11880-1 
320   $aIncludes bibliobraphical references and index.
327   $aWord Automata and Time Granularities -- Tree Automata and Logics -- Summary.
330   $aSince 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges.
410  0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v5955.
606   $aMachine theory
615  0$aMachine theory.
676   $a510.904
700   $aPuppis$b Gabriele$01221181
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484488803321
996   $aAutomata for branching and layered temporal structures$92831523
997   $aUNINA

LEADER 01038nam0-2200289 --450 
001 9910887301103321
005 20240923112516.0
017 70$a451421$2U
020   $aIT$b1949 2482
100   $a20240923d1948----kmuy0itay5050    ba
101 0 $aita
102   $aIT
105   $a        001yy
200 1 $aManuale della pratica civile$eformulario dei pił importanti atti del codice civile con note e appunti illustrativi, un'appendice relativa alle tasse di bollo dovute sui singoli atti e quattro indici sistematici della materia$fDomenico Riccardo Peretti Griva
205   $aNuova edizione con appendice di aggiornamento
210   $aTorino$cU.T.E.T.$d1948
215   $aIV, 1159 p.$d18 cm
610 0 $aDiritto civile$aFormulari
676   $a346.45002638$v23$zita
700  1$aPeretti Griva,$bDomenico Riccardo$0229195
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910887301103321
952   $aDPR 2 42$b25484$fDEC
959   $aDEC
996   $aManuale della pratica civile$9580410
997   $aUNINA