![Cover of Modalities for Reasoning about Knowledge and Quantities [PhD Thesis]](https://s3.refhub.ir/images/thumb/Modalities_for_Reasoning_about_Knowledge_and__16051.webp)
English
Beginner
Modalities for Reasoning about Knowledge and Quantities [PhD Thesis]
Wiebe van der Hoek
1992
View book
Discover references
Formal Verification
Books
1 resultsDiscover references
Wiebe van der Hoek