Interactive Theorem Proving (ITP), Third International Conference
| Type | Workshop |
|---|---|
| Title | Interactive Theorem Proving (ITP), Third International Conference |
| Event date | 13 to end of 15 Aug 2012 |
| Location | Princeton, New Jersey, US |
| Type | Workshop |
|---|---|
| Title | Interactive Theorem Proving (ITP), Third International Conference |
| Event date | 13 to end of 15 Aug 2012 |
| Location | Princeton, New Jersey, US |