Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings (Q739160)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings |
scientific article; zbMATH DE number 6617667
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings |
scientific article; zbMATH DE number 6617667 |
Statements
Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings (English)
0 references
17 August 2016
0 references
0.9435239
0 references
0.9426602
0 references
0.92507243
0 references
0.92116195
0 references
0.9203759
0 references
0.90718734
0 references
0.90506566
0 references
0.8994206
0 references
