×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [order formula slide]
The Expressivity of Quantifying over Regions Ernest Davis March 20, 2007
218 views
First-Order Logic (and beyond) Johan Bos. Overview of this lecture Introduction to first-order logic Discourse Representation Theory Using the Lambda-Calculus
218 views