01102nam0-22003131i-450-990001357110403321000135711FED01000135711(Aleph)000135711FED0100013571120000920d1996----km-y0itay50------baengAspects of Mechanizing Inference: Contexts and ProblemsPapers presented at the Workshop held in Naples, at Palazzo Serra di Cassano, from October 30th to November 2nd, 1995Settimo Termini, Enric Trillas EditorsBarcelonaUniversitat Politècnica de Catalunya1996308 p.Special Issue "Mathware" vol. 3, n. 1-2, 1996Teoria della programmazione e utilizzazione dei computersSoftware510.78Termini,Settimo61246Trillas,EnricITUNINARICAUNIMARCBK9900013571104033218B-323FI1FI1Aspects of Mechanizing Inference: Contexts and Problems375786UNINAING01