Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1285
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Avigad, Jeremy. ; | en_US |
| dc.contributor.author | Mahboubi, Assia. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:27:13Z | - |
| dc.date.available | 2020-05-17T08:27:13Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319948218 ; | en_US |
| dc.identifier.isbn | 9783319948201 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1285 | - |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319948201. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. ; | en_US |
| dc.description.statementofresponsibility | edited by Jeremy Avigad, Assia Mahboubi. | en_US |
| dc.format.extent | XVII, 642 p. 103 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; | en_US |
| dc.relation.haspart | 9783319948201.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer system failures. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computer logic. ; | en_US |
| dc.subject | Mathematical logic. ; | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Logics and Meanings of Programs. ; | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | System Performance and Evaluation. ; | en_US |
| dc.subject.ddc | 005.131 ; 23 ; | en_US |
| dc.subject.lcc | QA8.9-QA10.3 ; | en_US |
| dc.title | Interactive Theorem Proving | en_US |
| dc.title.alternative | 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319948201.pdf | 20.14 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Avigad, Jeremy. ; | en_US |
| dc.contributor.author | Mahboubi, Assia. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:27:13Z | - |
| dc.date.available | 2020-05-17T08:27:13Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319948218 ; | en_US |
| dc.identifier.isbn | 9783319948201 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1285 | - |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319948201. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. ; | en_US |
| dc.description.statementofresponsibility | edited by Jeremy Avigad, Assia Mahboubi. | en_US |
| dc.format.extent | XVII, 642 p. 103 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; | en_US |
| dc.relation.haspart | 9783319948201.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer system failures. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computer logic. ; | en_US |
| dc.subject | Mathematical logic. ; | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Logics and Meanings of Programs. ; | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | System Performance and Evaluation. ; | en_US |
| dc.subject.ddc | 005.131 ; 23 ; | en_US |
| dc.subject.lcc | QA8.9-QA10.3 ; | en_US |
| dc.title | Interactive Theorem Proving | en_US |
| dc.title.alternative | 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319948201.pdf | 20.14 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Avigad, Jeremy. ; | en_US |
| dc.contributor.author | Mahboubi, Assia. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:27:13Z | - |
| dc.date.available | 2020-05-17T08:27:13Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319948218 ; | en_US |
| dc.identifier.isbn | 9783319948201 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1285 | - |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319948201. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. ; | en_US |
| dc.description.statementofresponsibility | edited by Jeremy Avigad, Assia Mahboubi. | en_US |
| dc.format.extent | XVII, 642 p. 103 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; | en_US |
| dc.relation.haspart | 9783319948201.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer system failures. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computer logic. ; | en_US |
| dc.subject | Mathematical logic. ; | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Logics and Meanings of Programs. ; | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | System Performance and Evaluation. ; | en_US |
| dc.subject.ddc | 005.131 ; 23 ; | en_US |
| dc.subject.lcc | QA8.9-QA10.3 ; | en_US |
| dc.title | Interactive Theorem Proving | en_US |
| dc.title.alternative | 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319948201.pdf | 20.14 MB | Adobe PDF | Preview File |