6th conference on Interactive Theorem Proving (ITP)
| Type | Conference |
|---|---|
| Title | 6th conference on Interactive Theorem Proving (ITP) |
| Event date | 24 to end of 27 Aug 2015 |
| Location | Nanjing, China |
| Type | Conference |
|---|---|
| Title | 6th conference on Interactive Theorem Proving (ITP) |
| Event date | 24 to end of 27 Aug 2015 |
| Location | Nanjing, China |