Boek
The 1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. This textbook contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented, covering these tools. «
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Er zijn nog geen recensies voor dit boek.