TY - BOOK AU - Bochman TI - A logical theory of nonmonotonic inference and belief change SN - 3-540-41766-4 PY - 2001/// CY - Berlin [etc.] PB - Springer KW - Raciocínio não monotónico KW - Lógica KW - Inferência KW - Sistemas periciais (Informática) KW - Q339.2 ER -