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.).
ITP (Conference) (9th : 2018 : Oxford, England); Avigad, Jeremy, editor.; Mahboubi, Assia, editor.; Federated Logic Conference (2018 : Oxford, England), jointly held conference.
2018
QA76.9.A96
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
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.).
Meeting Name
ITP (Conference) (9th : 2018 : Oxford, England)
ISBN
9783319948218 (electronic book)
3319948210 (electronic book)
9783319948201
3319948202
DOI
https://doi.org/10.1007/978-3-319-94821-8
Published
Cham, Switzerland : Springer, 2018.
Language
English
Description
1 online resource (xvii, 642 pages) : illustrations.
Item Number
10.1007/978-3-319-94821-8 doi
Call Number
QA76.9.A96
Dewey Decimal Classification
511.3/6028563
Note
International conference proceedings.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 16, 2018).
Added Author
Avigad, Jeremy, editor.
Mahboubi, Assia, editor.
Added Meeting Name
Federated Logic Conference (2018 : Oxford, England), jointly held conference.
Series
Lecture notes in computer science ; 10895.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: 9783319948201
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources

Browse Subjects

Show more subjects...

Statistics

from
to
Export