Logic of theory change : Workshop, konstanz, frg, october 13-15, 1989 : Proceedings / A. fuhrmann, m. morreau, ed. - 334 páginas - Lecture notes in artificial intelligence ; 465. lecture notes in computer science . - Lecture notes in computer science .

3540535675


Computación--Congresos
Lógica simbólica y matemática--Congresos

QA76 / L62