Truth maintenence systems : proceedings - Martins J P; Workshop on Truth Maintenence Systems ECAI-90( 1990 : Stockholm ); Workshop on Truth Maintenence Systems ECAI-90 Stockholm, 1990 (Berlin Springer Verlag, 1990)
Keywords: Artificial intelligence; Computer science