A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
7 Readers on Mendeley
by Discipline
by Academic Status
29% Professor
14% Lecturer
14% Other Professional
by Country
29% United States
14% United Kingdom
14% Netherlands