00934nam0-22003371i-450 99000106143040332120240318132338.03-540-12044-0000106143FED01000106143(Aleph)000106143FED0100010614320000920d1983----km-y0itay50------baengAutomation of ReasoningEdited by Jorg Siekmann and Graham WrightsonBerlin [etc.]Springer-Verlag1983CiberneticaTeoria dei giochiTeoria degli automiIntelligenza artificiale510.78Siekmann,Jörg347289Wrightson,GrahamITUNINARICAUNIMARCBK990001061430403321163 SIEJ 0112306FI1FI1Automation of Reasoning340181UNINAING01