TY - BOOK AU - Fuhrmann A AU - Morreau M eds TI - Logic of theory change U1 - 006.3 PY - 1991/// CY - Berlin PB - Springer Verlag KW - Artificial intelligence KW - Computer science ER -