ITP (Conférence)
International Conference on Interactive Theorem Proving
VIAF ID: 274210089 ( Corporate )
Permalink: http://viaf.org/viaf/274210089
Preferred Forms
- 111 2 _ ‡a ITP (Conference)
-
- 111 2 _ ‡a International Conference on Interactive Theorem Proving
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Interactive theorem proving, c2012: |