8th International Conference Interactive Theorem Proving (ITP)
| Type | Conference |
|---|---|
| Title | 8th International Conference Interactive Theorem Proving (ITP) |
| Event date | 26 to end of 29 Sep 2017 |
| Location | BrasÃlia, Brazil |
| Type | Conference |
|---|---|
| Title | 8th International Conference Interactive Theorem Proving (ITP) |
| Event date | 26 to end of 29 Sep 2017 |
| Location | BrasÃlia, Brazil |