Hochschulschrift

Granularity analysis for tutoring mathematical proofs

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783898383349
9781607507192
Dimensions
21 cm
Extent
XX, 247 S.
Language
Englisch
Notes
Ill., graph. Darst.
Zugl.: Saarbrücken, Univ., Diss., 2010

Bibliographic citation
Dissertationen zur künstlichen Intelligenz ; Vol. 334

Keyword
Beweis
Mathematikstudium
Automatisches Beweisverfahren

Event
Veröffentlichung
(where)
[Amsterdam], Heidelberg
(who)
IOS Press, AKA
(when)
2011
Creator

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:36 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

Time of origin

  • 2011

Other Objects (12)