01598nam0 22003613i 450 RMS159095920251003044345.00387567321New York3540567321Berlin20120116d1993 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierResolution 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 matematiciFIRIEIC344409I006.3INTELLIGENZA ARTIFICIALE14006.3Metodi speciali di elaborazione. Intelligenza artificiale22IA <Intelligenza artificiale>Intelligenza artificialeIA <Intelligenza artificiale>Fermüller, Christian <1963- >RMSV650450070ITIT-00000020120116IT-BN0095 RMS1590959Biblioteca Centralizzata di Ateneo43 v. 01COLL. ING LNAI 0102 0000012715 VMA A4(0679 v. 679Y 1994090720120116 01Resolution methods for the decision problem1382089UNISANNIO