Granularity analysis for tutoring mathematical proofs

Bibliographische Detailangaben

1. Verfasser:	Schiller, Marvin (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	[Amsterdam] IOS Press 2011 Heidelberg AKA
Schriftenreihe:	Dissertationen zur künstlichen Intelligenz 334
Schlagworte:	Mathematikstudium Automatisches Beweisverfahren Beweis Hochschulschrift
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!