The logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings / A. Fuhrmann and M. Morreau (Eds.) - Berlin : Springer-Verlag, 1991 - 334 p. - Lecture notes in computer science ; no. 465 .

3540535675


Logic programming--Addresses, essays, lectures

QA76.6 / L65