LEADER 00000nam 2200229 a 4500
001 0969348
007 t
008 000809 2 1991 000 eng
020 3540543058
040 CURLBL
050 4 Q 335 T8
111 2 Truth Maintenance Workshop(1990: Stockholm, Sweden)
245 10 Truth maintenance systems :|bECAI-90 Workshop, Stockholm,
Sweden, August 6, 1990 : proceedings /|cJ.P. Martins, M.
Reinfrank (eds.).
260 Berlin :|bSpringer-Verlag,|c1991.
300 177p.
440 0 Lecture notes in artificial intelligence ;|vv.515
700 1 Martins, Joao Pavao.
700 1 Reinfrank, Michael.
711 2 European Conference on Artificial Intelligence.
946 6XX absent
