10th International Conference on Interactive Theorem Proving ITP 2019, September 9–12, 2019, Portland, OR, USA
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Saarbrücken/Wadern
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
September, 2019
|
| Schriftenreihe: | LIPIcs
Vol. 141 |
| Schlagworte: | |
| Online-Zugang: | https://nbn-resolving.org/urn:nbn:de:0030-drops-112972 http://d-nb.info/1195059671/34 kostenfrei kostenfrei |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Wegen Wartungsarbeiten nicht verfügbar
Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.
Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:
Online
https://nbn-resolving.org/urn:nbn:de:0030-drops-112972http://d-nb.info/1195059671/34
kostenfrei
kostenfrei