- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
SEKI report ; 94,08
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1999
- Beteiligte Personen und Organisationen
-
Kerber, Manfred
Huang, Xiaorong
Cheikhrouhou, Lassaad
Richts, Jörn
Sehn, Arthur
- URN
-
urn:nbn:de:hbz:386-kluedo-3389
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kerber, Manfred
- Huang, Xiaorong
- Cheikhrouhou, Lassaad
- Richts, Jörn
- Sehn, Arthur
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1999
Ähnliche Objekte (12)
Planning Diagonalization Proofs
Methods - The Basic Units for Planning and Verifying Proofs
Mathematical significance of consistency proofs
Introduction to mathematical structures and proofs
Granularity analysis for tutoring mathematical proofs
Reuse of Proofs by Meta-Methods
Proofs of the Cantor-Bernstein Theorem : a mathematical excursion
MENON : automating a Socratic teaching model for mathematical proofs
Students' language in computer-assisted tutoring of mathematical proofs
Students´ language in computer-assisted tutoring of mathematical proofs
Mathematical methods and models in economic planning, management and budgeting
Elementary theory of metric spaces : a course in constructing mathematical proofs
Planning Diagonalization Proofs
Methods - The Basic Units for Planning and Verifying Proofs
Mathematical significance of consistency proofs
Introduction to mathematical structures and proofs
Granularity analysis for tutoring mathematical proofs
Reuse of Proofs by Meta-Methods
Proofs of the Cantor-Bernstein Theorem : a mathematical excursion
MENON : automating a Socratic teaching model for mathematical proofs
Students' language in computer-assisted tutoring of mathematical proofs
Students´ language in computer-assisted tutoring of mathematical proofs
Mathematical methods and models in economic planning, management and budgeting
Elementary theory of metric spaces : a course in constructing mathematical proofs
Planning Diagonalization Proofs
Methods - The Basic Units for Planning and Verifying Proofs
Mathematical significance of consistency proofs
Introduction to mathematical structures and proofs
Granularity analysis for tutoring mathematical proofs
Reuse of Proofs by Meta-Methods
Proofs of the Cantor-Bernstein Theorem : a mathematical excursion
MENON : automating a Socratic teaching model for mathematical proofs
Students' language in computer-assisted tutoring of mathematical proofs
Students´ language in computer-assisted tutoring of mathematical proofs
Mathematical methods and models in economic planning, management and budgeting