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?