00932nam0-22003251i-450-9900011091104033210-12-122952-1000110911FED01000110911(Aleph)000110911FED01000110911--------d--------km-y0itay50------baeng<<A >>Computational Logic HandbookRobert S. Boyer and J. Strother MooreBoston [etc.]Academic Press1988Perspectives in Computing23CiberneticaTeoria dei giochiTeoria degli automiIntelligenza artificiale510.78Boyer,Robert S.41253Moore,J. StrotherITUNINARICAUNIMARCBK9900011091104033218-27418438FI1FI1Computational Logic Handbook337796UNINA