Interactive theorem proving 7th international conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in computer science
9807 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|