Interactive theorem proving : 8th international conference proceedings ITP 2017, Brasília, Brazil, September 26–29, 2017 (e-book)
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; v.10499Publication details: Cham Springer 2017ISBN: 978-3-319-66107-0ISSN: 1611-3349Subject(s): Computer Science and Engineering | Software Engineering -- Congresses | Automatic theorem proving -- Congresses | Logic, Symbolic and mathematical -- Congresses | Artificial intelligence -- Congresses | Computer logic -- Congresses | Computer system failures -- CongressesOnline resources: DOI URL
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
E-Books
|
Central Library, IITB Online | Online | EBK5244 |
Total holds: 0
There are no comments on this title.