![Mathematics / Non-classical logic / Model theory / Predicate logic / Modal logic / Stable model semantics / First-order logic / Interpretation / Autoepistemic logic / Logic / Mathematical logic / Logic programming Mathematics / Non-classical logic / Model theory / Predicate logic / Modal logic / Stable model semantics / First-order logic / Interpretation / Autoepistemic logic / Logic / Mathematical logic / Logic programming](https://www.pdfsearch.io/img/bcf319a4f8329823fd3922275f1c1215.jpg)
| Document Date: 2006-10-13 03:43:14 Open Document File Size: 186,73 KBShare Result on Facebook
Facility Computer Science Hong Kong University of Science / / NaturalFeature Technology Clear Water Bay / / Organization Computer Science Hong Kong University of Science and Technology Clear Water Bay / GK Fangzhen Lin and Yi Zhou Department / / Person K.R. Apt / V / Vladimir Lifschitz / / Position General / / Product Latte W10 Portable Audio Device / / PublishedMedium Annals of Mathematics / /
SocialTag |