Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1532
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor | International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ; | en_US |
| dc.contributor.author | Moura, Leonardo de, ; editor ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:29:33Z | - |
| dc.date.available | 2020-05-17T08:29:33Z | - |
| dc.date.issued | 2017 | en_US |
| dc.identifier.isbn | 9783319630465 ; | en_US |
| dc.identifier.isbn | 3319630466 ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1532 | - |
| dc.description | Ohio Library and Information Network ; | en_US |
| dc.description | Available to OhioLINK libraries ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license ; | en_US |
| dc.description.statementofresponsibility | Leonardo de Moura (ed.) | en_US |
| dc.description.tableofcontents | Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience ; | en_US |
| dc.format.extent | 1 online resource (xi, 582 pages) : ; illustrations ; | en_US |
| dc.format.extent | International conference proceedings ; | en_US |
| dc.format.extent | Includes author index ; | en_US |
| dc.publisher | Springer, | en_US |
| dc.relation.ispartofseries | Lecture notes in artificial intelligence, ; 0302-9743 ; ; 10395 ; | en_US |
| dc.relation.ispartofseries | LNCS sublibrary. SL 7, Artificial intelligence ; | en_US |
| dc.relation.ispartofseries | Lecture notes in computer science. ; Lecture notes in artificial intelligence ; ; 10395 ; | en_US |
| dc.relation.ispartofseries | LNCS sublibrary. ; SL 7, ; Artificial intelligence ; | en_US |
| dc.relation.haspart | 9783319630465.pdf | en_US |
| dc.subject | Automatic theorem proving ; Congresses ; | en_US |
| dc.subject | Logic, Symbolic and mathematical ; Congresses ; | en_US |
| dc.title | Automated deduction -- CADE 26 : | en_US |
| dc.title.alternative | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham, Switzerland : | en_US |
| dc.classification.lc | QA76.9.A96 ; | en_US |
| dc.classification.dc | 511.3/6028563 ; 23 ; | en_US |
| Appears in Collections: | مهندسی فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319630465.pdf | 15.34 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor | International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ; | en_US |
| dc.contributor.author | Moura, Leonardo de, ; editor ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:29:33Z | - |
| dc.date.available | 2020-05-17T08:29:33Z | - |
| dc.date.issued | 2017 | en_US |
| dc.identifier.isbn | 9783319630465 ; | en_US |
| dc.identifier.isbn | 3319630466 ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1532 | - |
| dc.description | Ohio Library and Information Network ; | en_US |
| dc.description | Available to OhioLINK libraries ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license ; | en_US |
| dc.description.statementofresponsibility | Leonardo de Moura (ed.) | en_US |
| dc.description.tableofcontents | Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience ; | en_US |
| dc.format.extent | 1 online resource (xi, 582 pages) : ; illustrations ; | en_US |
| dc.format.extent | International conference proceedings ; | en_US |
| dc.format.extent | Includes author index ; | en_US |
| dc.publisher | Springer, | en_US |
| dc.relation.ispartofseries | Lecture notes in artificial intelligence, ; 0302-9743 ; ; 10395 ; | en_US |
| dc.relation.ispartofseries | LNCS sublibrary. SL 7, Artificial intelligence ; | en_US |
| dc.relation.ispartofseries | Lecture notes in computer science. ; Lecture notes in artificial intelligence ; ; 10395 ; | en_US |
| dc.relation.ispartofseries | LNCS sublibrary. ; SL 7, ; Artificial intelligence ; | en_US |
| dc.relation.haspart | 9783319630465.pdf | en_US |
| dc.subject | Automatic theorem proving ; Congresses ; | en_US |
| dc.subject | Logic, Symbolic and mathematical ; Congresses ; | en_US |
| dc.title | Automated deduction -- CADE 26 : | en_US |
| dc.title.alternative | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham, Switzerland : | en_US |
| dc.classification.lc | QA76.9.A96 ; | en_US |
| dc.classification.dc | 511.3/6028563 ; 23 ; | en_US |
| Appears in Collections: | مهندسی فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319630465.pdf | 15.34 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor | International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ; | en_US |
| dc.contributor.author | Moura, Leonardo de, ; editor ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:29:33Z | - |
| dc.date.available | 2020-05-17T08:29:33Z | - |
| dc.date.issued | 2017 | en_US |
| dc.identifier.isbn | 9783319630465 ; | en_US |
| dc.identifier.isbn | 3319630466 ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1532 | - |
| dc.description | Ohio Library and Information Network ; | en_US |
| dc.description | Available to OhioLINK libraries ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license ; | en_US |
| dc.description.statementofresponsibility | Leonardo de Moura (ed.) | en_US |
| dc.description.tableofcontents | Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience ; | en_US |
| dc.format.extent | 1 online resource (xi, 582 pages) : ; illustrations ; | en_US |
| dc.format.extent | International conference proceedings ; | en_US |
| dc.format.extent | Includes author index ; | en_US |
| dc.publisher | Springer, | en_US |
| dc.relation.ispartofseries | Lecture notes in artificial intelligence, ; 0302-9743 ; ; 10395 ; | en_US |
| dc.relation.ispartofseries | LNCS sublibrary. SL 7, Artificial intelligence ; | en_US |
| dc.relation.ispartofseries | Lecture notes in computer science. ; Lecture notes in artificial intelligence ; ; 10395 ; | en_US |
| dc.relation.ispartofseries | LNCS sublibrary. ; SL 7, ; Artificial intelligence ; | en_US |
| dc.relation.haspart | 9783319630465.pdf | en_US |
| dc.subject | Automatic theorem proving ; Congresses ; | en_US |
| dc.subject | Logic, Symbolic and mathematical ; Congresses ; | en_US |
| dc.title | Automated deduction -- CADE 26 : | en_US |
| dc.title.alternative | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham, Switzerland : | en_US |
| dc.classification.lc | QA76.9.A96 ; | en_US |
| dc.classification.dc | 511.3/6028563 ; 23 ; | en_US |
| Appears in Collections: | مهندسی فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319630465.pdf | 15.34 MB | Adobe PDF | Preview File |