LEADER 01608nam0 22003253i 450 
001 RMS1590959
005 20240830063344.0
010   $a0387567321$bNew York
010   $a3540567321$bBerlin
100   $a20120116d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aResolution methods for the decision problem$fC. Fermüller ... [et al.]
210   $aBerlin [etc.]$cSpringer$d1993
215   $aVIII, 205 p.$d24 cm.
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v679
410  0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v679
606   $aIntelligenza artificiale$xModelli matematici$2FIR$3NAPC259776$9I
676   $a006.3$9INTELLIGENZA ARTIFICIALE$v14
676   $a006.3$9METODI SPECIALI DI ELABORAZIONE. INTELLIGENZA ARTIFICIALE$v22
702  1$aFermüller$b, Christian$f <1963-    >$3RMSV650450$4070
801  3$aIT$bIT-NA0079$c20120116
850   $aIT-BN0095          
912   $aRMS1590959
950  0$aBiblioteca Centralizzata di Ateneo$bv. 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;867$c43 v.$d 01COLL.     ING                     LNAI$e 0102 0000012715    B A4(0679               v. 679$f3 $h19940907$i20120116
977   $a 01
996   $aResolution methods for the decision problem$91382089
997   $aUNISANNIO