LEADER 00881nam0-22003131i-450- 001 990000159090403321 035 $a000015909 035 $aFED01000015909 035 $a(Aleph)000015909FED01 035 $a000015909 100 $a20011111d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>carta elettronica$fRaffaele Gargiulo , Rosario Lapira. 210 $aRoma$cRivista marittima$d2000 215 $a45 p.$cill.$d24 cm 300 $aSuppl. a: Rivista marittima, n. 1, gennaio 2000 610 0 $aCartografia nautica 676 $a526 700 1$aGargiulo,$bRaffaele$09916 702 1$aLapira,$bRosario 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000159090403321 952 $a13 E 72 77$b11973/1$fFINBC 959 $aFINBC 996 $aCarta elettronica$9121653 997 $aUNINA DB $aING01 LEADER 01575nas 2200505-a 450 001 996217247503316 005 20230801213017.0 035 $a(OCoLC)56719880 035 $a(CKB)1000000000022961 035 $a(CONSER)--2010252108 035 $a(DE-599)ZDB2170262-7 035 $a(EXLCZ)991000000000022961 100 $a20041013a20059999 s-- - 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aLogical methods in computer science $eLMCS 210 $aBraunschweig, Germany $cTechnical University of Braunschweig 300 $aRefereed/Peer-reviewed 311 $a1860-5974 517 3 $aLMCS 531 $aLOG. METHODS COMPUT. SCI 531 $aLOG METH COMPUT SCI 531 $aLOG. METH. COMPUT. SCI 531 1 $aLog. methods comput. sci. 606 $aComputer logic$vPeriodicals 606 $aComputer science$vPeriodicals 606 $aInformatique$vPériodiques 606 $aLogique informatique$vPériodiques 606 $aComputer logic$2fast$3(OCoLC)fst00872265 606 $aComputer science$2fast$3(OCoLC)fst00872451 608 $aPeriodicals.$2fast 615 0$aComputer logic 615 0$aComputer science 615 6$aInformatique 615 6$aLogique informatique 615 7$aComputer logic. 615 7$aComputer science. 712 02$aInternational Federation of Computational Logic. 906 $aJOURNAL 912 $a996217247503316 996 $aLogical methods in computer science$92016901 997 $aUNISA