کتاب های نویسنده Wiebe van der Hoek

Modalities for Reasoning about Knowledge and Quantities [PhD Thesis]
Published on: 1992
Beginner Logic and Foundations English

This is a doctoral dissertation of Wiebe van der Hoek under the supervision of prof. J.-J.Ch. Meyer.

Epistemic Logic Modal Logic Quantitative Reasoning Knowledge Representation Formal Verification

Page of

تماس با پشتیبان