Skip to main content
Open Access Publications from the University of California
Search eScholarship
Refine Search
All of eScholarship
This Proceeding
Proceedings of the Annual Meeting of the Cognitive Science Society
UC Merced
Submit Manuscript
Manage
Submissions
Menu
Proceedings Home
Volumes
Main Menu
Volume 48, 2026
Volume 47, 2025
Volume 46, 2024
Volume 45, 2023
Volume 44, 2022
Volume 43, 2021
Volume 42, 2020
Volume 41, 2019
Volume 40, 2018
Volume 39, 2017
Volume 38, 2016
Volume 37, 2015
Volume 36, 2014
Volume 35, 2013
Volume 34, 2012
Volume 33, 2011
Volume 32, 2010
Volume 31, 2009
Volume 30, 2008
Volume 29, 2007
Volume 28, 2006
Volume 27, 2005
Volume 26, 2004
Volume 25, 2003
Volume 24, 2002
Volume 23, 2001
Volume 22, 2000
Volume 21, 1999
Volume 20, 1998
Volume 19, 1997
Volume 18, 1996
Volume 17, 1995
Volume 16, 1994
Volume 15, 1993
Volume 14, 1992
Volume 13, 1991
Volume 12, 1990
Volume 11, 1989
Volume 10, 1988
Volume 9, 1987
Volume 8, 1986
Volume 7, 1985
Volume 6, 1984
Volume 5, 1983
Volume 4, 1982
Volume 3, 1981
About
Main Menu
About Us
Contact us
Policies
eScholarship
UC Merced
Proceedings of the Annual Meeting of the Cognitive Science Society
Volume 32
Download PDF
Main
PDF
Share
Email
Facebook
Constructing internal diagrammatic proofs from external logic diagrams
2010
Sato, Yuri
;
Mineshima, Koji
;
Takemura, Ryo
...
Main Content
Metrics
Author & Article Info
Top
