5th International Conference on Interactive Theorem Proving (ITP)
| Type | Conference |
|---|---|
| Title | 5th International Conference on Interactive Theorem Proving (ITP) |
| Event date | 14 to end of 17 Jul 2014 |
| Location | Vienna, Austria |
| Type | Conference |
|---|---|
| Title | 5th International Conference on Interactive Theorem Proving (ITP) |
| Event date | 14 to end of 17 Jul 2014 |
| Location | Vienna, Austria |