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