LEADER 00996cam0 22002531  450 
001 SOBE00018998
005 20210319093444.0
010   $a8871196856
100   $a20111025d1994    |||||ita|0103    ba
101   $aita
102   $aIT
200 1 $aLezioni di filosofia del diritto$eteoria del diritto positivo. Fondazione dei valori etici$elezioni anno acc. 1993-94$fGaetano Carcaterra
210   $aRoma$cBulzoni$dc1994
215   $a252 p.$d24 cm
700  1$aCarcaterra$b, Gaetano$3AF00009429$4070$0254499
801  0$aIT$bUNISOB$c20210319$gRICA
850   $aUNISOB
852   $aUNISOB$jFondo|De|Sanctis|F$m154853
912   $aSOBE00018998
940   $aM 102 Monografia moderna SBN
941   $aM
957   $aFondo|De|Sanctis|F$b000162$gCON$d154853$hDeSanctisF$rdono$1catenacci$2UNISOB$3UNISOB$420111025080244.0$520210319093444.0$6Spinosa$fPer le modalità di consultazione vedi homepage della Biblioteca link Fondi
996   $aLezioni di filosofia del diritto$91653254
997   $aUNISOB

LEADER 01482nam  2200457   450 
001 996485664403316
005 20231110225104.0
010   $a3-031-13257-2
035   $a(CKB)5700000000114162
035   $a(MiAaPQ)EBC7076578
035   $a(Au-PeEL)EBL7076578
035   $a(PPN)264191218
035   $a(EXLCZ)995700000000114162
100   $a20230114d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aDescriptional complexity of formal systems $e24th IFIP WG 1. 02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings /$fedited by Yo-Sub Han and Gyo?rgy Vaszil
210  1$aCham, Switzerland :$cSpringer,$d[2022]
210  4$d©2022
215   $a1 online resource (239 pages)
225 1 $aLecture Notes in Computer Science ;$vv.13439
300   $aIncludes index.
311   $a3-031-13256-4 
410  0$aLecture Notes in Computer Science 
606   $aFormal methods (Computer science)
606   $aComputational complexity
615  0$aFormal methods (Computer science)
615  0$aComputational complexity.
676   $a004.0151
702   $aHan$b Yo-Sub
702   $aVaszil$b Gyo?rgy
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996485664403316
996   $aDescriptional Complexity of Formal Systems$91904989
997   $aUNISA