- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959771887
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 193
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2021
- Contributor
-
Cohen, Liron
Kaliszyk, Cezary
- URN
-
urn:nbn:de:0030-drops-138943
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:02 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Cohen, Liron
- Kaliszyk, Cezary
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2021
Other Objects (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