Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
The Importance of Instructional Design and Technology: A Review of Reiser and Dempsy's Trends and Issues in Instructional Design and Technology. [REVIEW]S. Srinivasan - 2004 - Journal of Thought 39 (2):93-96.
Instructional Design.Patricia L. Smith & Tillman J. Ragan - 2004 - Wiley.
Integrating constraint solving into proof planning.Erica Melis, Jürgen Zimmer & Tobias Müller - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 32--46.
Graphic interface design and deductive proof construction.Marvin Croy - manuscript
Understanding instructional scaffolding in classroom discourse on proof.Maria Blanton, Despina Stylianou & M. Manuela David - 2009 - In Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.), Teaching and Learning Proof Across the Grades: A K-16 Perspective. Routledge. pp. 290--306.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
Constructivist instructional theories and acquisition of expertise.Lai Chong Law - unknown
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics.Lincoln A. Wallen - 1990 - MIT Press (MA).
Should faculty members be exempt from a mandate to receive instructional design training because of their rights under academic freedom?Cindy Poore-Pariseau - 2009 - Journal of Academic Ethics 7 (3):223-230.
Proof and Design.M. P. Fourman - 1995 - Lfcs, Dept. Of Computer Science, University of Edinburgh.
Examining the Roles of Feedback and Models of Student Thinking in Pursuing Instructional Goals Inspired by Radical Constructivism.D. R. Liss Ii - 2014 - Constructivist Foundations 9 (3):407-409.
Interpreting an intelligent tutor's algorithmic task: A role for apprenticeship as a model for instructional design. [REVIEW]Denis Newman - 1991 - AI and Society 5 (2):93-109.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.

Analytics

Added to PP
2017-04-15

Downloads
1 (#1,897,693)

6 months
1 (#1,472,167)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references