TY - GEN TY - GEN T1 - A textbook of belief dynamics : theory change and database updating T2 - Applied logic series A1 - Hansson, Sven Ove, 1951- kirjoittaja LA - eng PP - Dordrecht ; London PB - Kluwer Academic YR - 1999 UL - https://kansalliskirjasto.finna.fi/Record/helka.9932325893506253 NO - Cased format includes Solutions to exercises, published as separate vol. of pbk student ed. set. SN - 0-7923-5324-2 kovakantinen SN - 0-7923-5327-7 pehmeäkantinen KW - Database management. KW - Belief and doubt. KW - Logic, Symbolic and mathematical. ER -