Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / Jeremy Avigad, Assia Mahboubi (eds.)
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Authors: | , |
| Other Authors: | , |
| Other title: | ITP 2018. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2018.
|
| Series: | Lecture notes in computer science ;
10895. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.A96
|
|---|---|
| QA76.9.A96 | Available |