Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 / editors J. P. Martins, M. Reinfrank.
- Berlin, Heidelberg : Springer-Verlag , cop. 1991 .
- VI, 177 p. : il. ; 25 cm.
- (Lectures notes in artificial intelligence)
. lectures notes in computer science ; 515
ISBN 3-540-54305-8
Inteligência artificial
Resolução de problemas
LCC Q335
ISBN 3-540-54305-8
Inteligência artificial
Resolução de problemas
LCC Q335