- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959771887
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 193
- Ereignis
-
Veröffentlichung
- (wo)
-
Wadern
- (wer)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (wann)
-
2021
- Beteiligte Personen und Organisationen
-
Cohen, Liron
Kaliszyk, Cezary
- URN
-
urn:nbn:de:0030-drops-138943
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:02 MESZ
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
- Cohen, Liron
- Kaliszyk, Cezary
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Entstanden
- 2021
Ähnliche Objekte (12)
10th International Conference on Interactive Theorem Proving (ITP 2019)
15th International Conference on Interactive Theorem Proving (ITP 2024)
14th International Conference on Interactive Theorem Proving (ITP 2023)
13th International Conference on Interactive Theorem Proving (ITP 2022)
Interactive theorem proving with indexed formulas
Interactive theorem proving : second international conference ; proceedings
Interactive theorem proving in symbolic incidence geometry
Interactive theorem proving : 4th International Conference ; proceedings
Interactive theorem proving : first international conference ; proceedings
Interactive theorem proving : third international conference ; proceedings
Theorem proving in higher order logics : 12th international conference ; proceedings
Automated theorem proving
10th International Conference on Interactive Theorem Proving (ITP 2019)
15th International Conference on Interactive Theorem Proving (ITP 2024)
14th International Conference on Interactive Theorem Proving (ITP 2023)
13th International Conference on Interactive Theorem Proving (ITP 2022)
Interactive theorem proving with indexed formulas
Interactive theorem proving : second international conference ; proceedings
Interactive theorem proving in symbolic incidence geometry
Interactive theorem proving : 4th International Conference ; proceedings
Interactive theorem proving : first international conference ; proceedings
Interactive theorem proving : third international conference ; proceedings
Theorem proving in higher order logics : 12th international conference ; proceedings
Automated theorem proving
10th International Conference on Interactive Theorem Proving (ITP 2019)
15th International Conference on Interactive Theorem Proving (ITP 2024)
14th International Conference on Interactive Theorem Proving (ITP 2023)
13th International Conference on Interactive Theorem Proving (ITP 2022)
Interactive theorem proving with indexed formulas
Interactive theorem proving : second international conference ; proceedings
Interactive theorem proving in symbolic incidence geometry
Interactive theorem proving : 4th International Conference ; proceedings
Interactive theorem proving : first international conference ; proceedings
Interactive theorem proving : third international conference ; proceedings
Theorem proving in higher order logics : 12th international conference ; proceedings