00959nam0-22003251i-450-9900010224004033213-540-10231-0000102240FED01000102240(Aleph)000102240FED0100010224020000920d1980----km-y0itay50------baengUsing Sophisticated Models in Resolution Theorem ProvingDavid M. SandfordBerlin [etc.]Springer-Verlag1980Lecture notes in computer science90CiberneticaTeoria dei giochiTeoria degli automiIntelligenza artificiale510.78Sandford,David M.48555ITUNINARICAUNIMARCBK9900010224004033218-19012633FI1FI1Using Sophisticated Models in Resolution Theorem Proving339676UNINAING01