LEADER 01113nam  2200361   450 
001 990001001710203316
005 20240219095635.0
010   $a3-540-54305-8
035   $a0100171
035   $aUSA010100171
035   $a(ALEPH)000100171USA01
035   $a0100171
100   $a20020227d1991----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aTruth maintenance system$eECAI-90 workshop, Stockholm, Sweden, august 6, 1990, proceedings$gJ.P. martins, M. Reinfrank
210   $aBerlin$cSpringer-Verlang$dc1991
215   $aVII, 177 p.$cill.$d24 cm
225 2 $aLecture notes in artificial intelligence$v515
410   $12001$aLecture notes in artificial intelligence$v515
461  1$1001-------$12001
606 0 $aIntelligenza artificale$xCongressi$y1990
676   $a006.3
702  1$aMARTINS,$bJoao Pavao
702  1$aREINFRANK,$bMichael
801  0$aIT$bsalbc$gISBD
912   $a990001001710203316
951   $a006.3 TRU$b11455 ING$c006.3
959   $aBK
969   $aTEC
996   $aTruth maintenance system$9975286
997   $aUNISA