- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
93 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill.
- Erschienen in
-
SEKI-Report ; 2003,04
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Univ., Fachbereich Informatik
- (wann)
-
2003
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:18 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
- Hübner, Malte
- Univ., Fachbereich Informatik
Entstanden
- 2003
Ähnliche Objekte (12)
Interactive theorem proving in symbolic incidence geometry
Interactive theorem proving : first international conference ; proceedings
Interactive theorem proving : second international conference ; proceedings
Interactive theorem proving : 4th International Conference ; proceedings
Interactive theorem proving : third international conference ; proceedings
14th International Conference on Interactive Theorem Proving (ITP 2023)
15th International Conference on Interactive Theorem Proving (ITP 2024)
12th International Conference on Interactive Theorem Proving (ITP 2021)
13th International Conference on Interactive Theorem Proving (ITP 2022)
10th International Conference on Interactive Theorem Proving (ITP 2019)
Automated theorem proving
Automated theorem proving
Interactive theorem proving in symbolic incidence geometry
Interactive theorem proving : first international conference ; proceedings
Interactive theorem proving : second international conference ; proceedings
Interactive theorem proving : 4th International Conference ; proceedings
Interactive theorem proving : third international conference ; proceedings
14th International Conference on Interactive Theorem Proving (ITP 2023)
15th International Conference on Interactive Theorem Proving (ITP 2024)
12th International Conference on Interactive Theorem Proving (ITP 2021)
13th International Conference on Interactive Theorem Proving (ITP 2022)
10th International Conference on Interactive Theorem Proving (ITP 2019)
Automated theorem proving
Automated theorem proving
Interactive theorem proving in symbolic incidence geometry
Interactive theorem proving : first international conference ; proceedings
Interactive theorem proving : second international conference ; proceedings
Interactive theorem proving : 4th International Conference ; proceedings
Interactive theorem proving : third international conference ; proceedings
14th International Conference on Interactive Theorem Proving (ITP 2023)
15th International Conference on Interactive Theorem Proving (ITP 2024)
12th International Conference on Interactive Theorem Proving (ITP 2021)
13th International Conference on Interactive Theorem Proving (ITP 2022)
10th International Conference on Interactive Theorem Proving (ITP 2019)
Automated theorem proving