Granularity Analysis for Tutoring Mathematical Proofs - Volume 334 Dissertations in Artificial Intelligence
Publisher: IOS Press
Published: Feb 15, 2011
Format: paperback
Number of pages: 272
ISBN-13: 9781607507192