Interactive Theorem Proving (Q6045337)
Jump to navigation
Jump to search
annual conference series on automated theorem proving and proof assistants
- ITP
- Theorem Proving in Higher Order Logics
- TPHOLs
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interactive Theorem Proving |
annual conference series on automated theorem proving and proof assistants |
|
Statements
2010
0 references
ITP (English)
0 references
International Conference on Interactive Theorem Proving (English)
1 reference
Identifiers
1 reference
ITP: Interactive Theorem Proving
1 reference
TPHOLs: Theorem Proving in Higher Order Logics
1 reference