Truth maintenance systems : ECAI-90 workshop, held in Stockholm, Sweden, August 1990 / editors J. P. Martins and M. Reinfrank.
- Berlin - Heidelberg, DE : Springer-Verlag , cop. 1991 .
- VI, 177 p. : il. ; 24 cm.
- (Lecture notes in computer science)
. 515. Lecture notes in artificial intelligence
ISBN 3-540-54305-8
Inteligência artificial
LCC Q334
ISBN 3-540-54305-8
Inteligência artificial
LCC Q334