00899nam0-22003251i-450-9900010614204033213-540-12043-2000106142FED01000106142(Aleph)000106142FED0100010614220000920d1983----km-y0itay50------baengAutomation of ReasoningEdited by Jorg Siekmann and Graham WrightsonBerlin [etc.]Springer-Verlag1983CiberneticaTeoria dei giochiTeoria degli automiIntelligenza artificiale510.78Siekmann,Jörg347289Wrightson,GrahamITUNINARICAUNIMARCBK9900010614204033218-18012305FI1FI1Automation of Reasoning340181UNINAING01