Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware …
Mit der weitverbreiteten und billigen Verfügbarkeit von Mitteln zur Bild-Erstellung (Scanner, Digitalkameras, PDAs und Mobiltelefone mit integrierter …
Die Fähigkeit, sinnvoll und aktiv mit Informationen umzugehen, gehört heute wie Lesen, Schreiben und Rechnen zu den grundlegenden Kulturtechniken. Die …