登入選單
Google圖書搜尋
A Prolog-based Tutor for Multi-Column Subtraction ...
作者
Claus Zinn
出版2013
ISBN
OCLC:865045404
The CMDI Explorer
作者
Denis Arnold / Ben Campbell / Thomas Eckart / Bernhard Fisseni / Thorsten Trippel / Claus Zinn
出版2020
ISBN
OCLC:1199755343
Understanding Informal Mathematical Discourse
作者
Claus Zinn
出版2004
ISBN
OCLC:314556188
Increasing CMDI's Semantic Interoperability with S...
作者
Nino Meisinger / Thorsten Trippel / Claus Zinn
出版2022
ISBN
OCLC:1396211063
Remote Testing of the Familiar Word Effect With No...
作者
Bettina Braun / Nathalie Czeke / Jasmin Rimpler / Claus Zinn / Jonas Probst / Bastian Goldlücke / Julia Kretschmer / Katharina Zahner-Ritter
出版2021
ISBN
OCLC:1287944379
Understanding Informal Mathematical Discourse
作者
Claus Zinn
出版2004
ISBN
OCLC:314556188
Algorithmic Debugging to Support Cognitive Diagnos...
作者
Claus Zinn
出版2013
ISBN
OCLC:953324716
Heuristic Search Over Program Transformations
作者
Claus Zinn
出版2015
ISBN
OCLC:950706679
Algorithmic Debugging and Literate Programming to ...
作者
Claus Zinn
出版2015
ISBN
OCLC:958027427
Program Analysis and Manipulation to Reproduce Lea...
作者
Claus Zinn
出版2013
ISBN
OCLC:959986137
MaVeriC - A Constraint-Based System for Web-Based ...
作者
Claus Zinn
出版2015
ISBN
OCLC:958027428
Algorithmic Debugging for Intelligent Tutoring
作者
Claus Zinn
出版2013
ISBN
OCLC:894739960
A Lean Constraint-based System to Support Intellig...
作者
Claus Zinn
出版2015
ISBN
OCLC:950700683
Wohin damit? Storing and reusing my language data:...
作者
Marius Hug / Felix Rau / Anke Debbeler / Sara Saleh / Elisabeth Mollenhauer / Peter Leinen / Philippe Genêt / Thorsten Trippel / Claus Zinn / George Dogaru / Andreas Witt / Antonina Werthmann / Christoph Draxler / Florian Schiel / Jörg Knappen / Stefan Fischer / Marie-Pauline Krielke / Elke Teich / Florian Barth / José Calvo Tello / Stefan E. Funk / Mathias Göbel / Daniel Kurzawe / Ubbo Veentjer / Lukas Matthias Weimer / Andreas Blätte / Timm Lehmberg
出版2023
ISBN
OCLC:1412019096