Skip to main content
eScholarship
Open Access Publications from the University of California

Bridging the Gap: Is Logic and Automated Reasoninga Foundation for Human Reasoning?

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View