MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ingo Dahn" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Management of Informal Mathematical Knowledge - Lessons Learned from the Trial-Solution Project
by Ingo Dahn — 2003 — Electronic Information and Communication in Mathematics, LNCS
… By Ingo Dahn, University Koblenz-Landau Abstract Most mathematical knowledge is not formalized. It exists…
Add To MetaCart

Interpretation of a Mizar-like Logic in First Order Logic
by Ingo Dahn — In FTP (LNCS Selection
…Interpretation of a Mizar-like Logic in First Order Logic Ingo Dahn University of Koblenz…
Cited by 5 (0 self) – Add To MetaCart

First Order Proof Problems Extracted from an Article in the Mizar Mathematical Library
by Ingo Dahn, Christoph Wernhard — 1997 — in the MIZAR Mathematical Library. In Proceedings of the 1st FTP
…First Order Proof Problems Extracted from an Article in the Mizar Mathematical Library Ingo Dahn…
Cited by 11 (1 self) – Add To MetaCart

Personalizing Textbooks with Slicing Technologies - Concepts, Tools, Architecture, Collaborative Use
by Ingo Dahn Gerhard Schwabe — 2002 — Concept, Tools, Architecture, Collaborative Use
… Use Ingo Dahn, Gerhard Schwabe, University of Koblenz-Landau, Germany dahn…
Cited by 4 (1 self) – Add To MetaCart

Slicing Books - The Authors' Perspective
by Ingo Dahn, Michael Armbruster, Ulrich Furbach, Gerhard Schwabe — 2002 — Writing Hypertext and Learning, Pergamon
…Slicing Books – The Authors' Perspective Ingo Dahn, Michael Armbruster, Ulrich Furbach, Gerhard…
Cited by 1 (0 self) – Add To MetaCart

Using Mathematica and Automated Theorem Provers to Access a Mathematical Library
by Ingo Dahn, Andreas Haida, Thomas Honigmann, Christoph Wernhard — 1998 — CADE-15 Workshop \Integration of Deduction Systems
…Using Mathematica and Automated Theorem Provers to Access a Mathematical Library Ingo Dahn…
Cited by 1 (0 self) – Add To MetaCart

Natural Language Presentation And Combination Of Automatically Generated Proofs
by Bernd Ingo Dahn, Andreas Wolf — 1996
…NATURAL LANGUAGE PRESENTATION AND COMBINATION OF AUTOMATICALLY GENERATED PROOFS BERND INGO DAHN…
Cited by 14 (0 self) – Add To MetaCart

First Order Proof Problems Extracted from an Article in the
by Mizar Mathematical Library, Ingo Dahn, Christoph Wernhard — 1997 — in the MIZAR Mathematical Library. In Proceedings of the 1st FTP
…First Order Proof Problems Extracted from an Article in the Mizar Mathematical Library Ingo Dahn…
Add To MetaCart

Automated Deduction: A Technological Point of View
by Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Micha Kühn, Frieder Stolzenburg, Bernd Thomas — 1998 — KI
…Automated Deduction: A Technological Point of View Peter Baumgartner, Ingo Dahn, Jurgen Dix…
Cited by 1 (0 self) – Add To MetaCart

Personalizing Textbooks with Slicing Technologies -- Concept, Tools,
by Architecture Collaborative Use, Ingo Dahn Gerhard Schwabe — 2002 — Concept, Tools, Architecture, Collaborative Use
… Use Ingo Dahn, Gerhard Schwabe, University of Koblenz-Landau, Germany dahn…
Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB