01608nam0 22003253i 450 RMS159095920240830063344.00387567321New York3540567321Berlin20120116d1993 ||||0itac50 baengdez01i xxxe z01nResolution methods for the decision problemC. Fermüller ... [et al.]Berlin [etc.]Springer1993VIII, 205 p.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence679001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence679Intelligenza artificialeModelli matematiciFIRNAPC259776I006.3INTELLIGENZA ARTIFICIALE14006.3METODI SPECIALI DI ELABORAZIONE. INTELLIGENZA ARTIFICIALE22Fermüller, Christian <1963- >RMSV650450070ITIT-NA007920120116IT-BN0095 RMS1590959Biblioteca Centralizzata di Ateneov. 475;617;624;633;659-660;667;671;679;681;689;695;698-699;723;727-728;743-746;754;764;766;770;784;795;798;804;808;810;814;822;827;830;833;835;837-838;861-862;86743 v. 01COLL. ING LNAI 0102 0000012715 B A4(0679 v. 6793 1994090720120116 01Resolution methods for the decision problem1382089UNISANNIO