LEADER 01102nam0-22003131i-450-
001 990001357110403321
035   $a000135711
035   $aFED01000135711
035   $a(Aleph)000135711FED01
035   $a000135711
100   $a20000920d1996----km-y0itay50------ba
101 0 $aeng
200 1 $aAspects of Mechanizing Inference: Contexts and Problems$ePapers presented at the Workshop held in Naples, at Palazzo Serra di Cassano, from October 30th to November 2nd, 1995$fSettimo Termini, Enric Trillas Editors
210   $aBarcelona$cUniversitat Politècnica de Catalunya$d1996
215   $a308 p.
300   $aSpecial Issue "Mathware" vol. 3, n. 1-2, 1996
610 0 $aTeoria della programmazione e utilizzazione dei computers
610 0 $aSoftware
676   $a510.78
700  1$aTermini,$bSettimo$061246
702  1$aTrillas,$bEnric
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001357110403321
952   $a8B-323$b$fFI1
959   $aFI1
996   $aAspects of Mechanizing Inference: Contexts and Problems$9375786
997   $aUNINA
DB    $aING01