Granularity analysis for tutoring mathematical proofs /

PSZJBL

Bibliographic Details
Main Author:	Schiller, Marvin R. G. 525500
Format:
Language:	eng
Published:	Amsterdam : IOS Press, 2011
Subjects:	Proof theory Logic, Symbolic and mathematical

Similar Items