LEADER 00940nam0-22003011i-450-
001 990000953600403321
010   $a0-444-88130-1
035   $a000095360
035   $aFED01000095360
035   $a(Aleph)000095360FED01
035   $a000095360
100   $a20000920d1990----km-y0itay50------ba
101 0 $aeng
200 1 $aFormal Techniques in Artificial Intelligence$eA sourcebook$fEdited by Ranan B. Banerji
210   $aAmsterdam [etc.]$cNorth-Holland$d1990
225 1 $aStudies in Computer Science and Artificial Intelligence$v6
610 0 $aTeoria della programmazione e utilizzazione dei computers
610 0 $aSoftware
676   $a510.78
700  1$aBanerji,$bRanan B.$044342
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000953600403321
952   $a8B-252$b17963$fFI1
959   $aFI1
996   $aFormal Techniques in Artificial Intelligence$9357933
997   $aUNINA
DB    $aING01