TY - BOOK AU - Nebel Berhard TI - Reasoning and revision in hybrid representation systems U1 - 006.333 PY - 1990/// CY - Berlin PB - Springer Verlag KW - Computer reasoning KW - Computer science ER -