Items where Division is "Dietrich School of Arts and Sciences > Intelligent Systems" and Year is 2005
Number of items: 2. Matsuda, Noboru (2005) THE IMPACT OF DIFFERENT PROOF STRATEGIES ON LEARNING GEOMETRY THEOREM PROVING. Doctoral Dissertation, University of Pittsburgh. (Unpublished) Murray, Robert Charles (2005) An evaluation of decision-theoretic tutorial action selection. Doctoral Dissertation, University of Pittsburgh. (Unpublished) |
![[feed]](/images/feed-icon-32x32.png){kind=icon}