Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings / Mauricio Ayala-Rincón, César A. Muñoz (eds.).
2017
QA76.9.A96
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings / Mauricio Ayala-Rincón, César A. Muñoz (eds.).
Meeting Name
ISBN
9783319661070 (electronic book)
3319661078 (electronic book)
9783319661063
3319661078 (electronic book)
9783319661063
Published
Cham, Switzerland : Springer, 2017.
Language
English
Description
1 online resource (xix, 532 pages) : illustrations.
Item Number
10.1007/978-3-319-66107-0 doi
Call Number
QA76.9.A96
Dewey Decimal Classification
511.3/6028563
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 8, 2017).
Series
Lecture notes in computer science ; 10499. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in