Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

82

AIED
2009
Springer

123views Artificial Intelligence» more AIED 2009»

Granularity-Adaptive Proof Presentation

15 years 9 months ago

Granularity-Adaptive Proof Presentation

Download www.ags.uni-sb.de

Marvin Schiller, Christoph Benzmüller

Real-time Traffic

AIED 2009 | Artificial Intelligence |

claim paper

Related Content

» Visually Dynamic Presentation of Proofs in Plane Geometry Part 2 Automated Generation of ...

» Visually Dynamic Presentation of Proofs in Plane Geometry Part 1 Basic Features and the M...

» Presenting Intuitive Deductions via Symmetric Simplification

» Graphical Presentations of Symmetric Monoidal Closed Theories

» Presenting functors on manysorted varieties and applications

» Presenting TSTP Proofs with Inference Web Tools

» Presenting Proofs with Adapted Granularity

» Presenting Functors by Operations and Equations

» Pretopologies and a uniform presentation of suplattices quantales and frames

Post Info
More Details (n/a)

Added	25 May 2010
Updated	25 May 2010
Type	Conference
Year	2009
Where	AIED
Authors	Marvin Schiller, Christoph Benzmüller

Comments (0)