8th International Conference Interactive Theorem Proving
| Type | Conference |
|---|---|
| Title | 8th International Conference Interactive Theorem Proving |
| Event date | 26 to end of 29 Sep 2017 |
| Location | Brasilia, Brazil |
| Type | Conference |
|---|---|
| Title | 8th International Conference Interactive Theorem Proving |
| Event date | 26 to end of 29 Sep 2017 |
| Location | Brasilia, Brazil |