Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1532
| Title: | Automated deduction -- CADE 26 : |
| Other Titles: | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / |
| Authors: | International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ;;Moura, Leonardo de, ; editor ; |
| subject: | Automatic theorem proving ; Congresses ;;Logic, Symbolic and mathematical ; Congresses ; |
| Year: | 2017 |
| place: | Cham, Switzerland : |
| Publisher: | Springer, |
| Series/Report no.: | Lecture notes in artificial intelligence, ; 0302-9743 ; ; 10395 ; LNCS sublibrary. SL 7, Artificial intelligence ; Lecture notes in computer science. ; Lecture notes in artificial intelligence ; ; 10395 ; LNCS sublibrary. ; SL 7, ; Artificial intelligence ; |
| 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 ; |
| Description: | Ohio Library and Information Network ; Available to OhioLINK libraries ; |
| URI: | http://localhost/handle/Hannan/1532 |
| ISBN: | 9783319630465 ; 3319630466 ; |
| More Information: | 1 online resource (xi, 582 pages) : ; illustrations ; International conference proceedings ; Includes author index ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319630465.pdf | 15.34 MB | Adobe PDF |  Preview File |
| Title: | Automated deduction -- CADE 26 : |
| Other Titles: | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / |
| Authors: | International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ;;Moura, Leonardo de, ; editor ; |
| subject: | Automatic theorem proving ; Congresses ;;Logic, Symbolic and mathematical ; Congresses ; |
| Year: | 2017 |
| place: | Cham, Switzerland : |
| Publisher: | Springer, |
| Series/Report no.: | Lecture notes in artificial intelligence, ; 0302-9743 ; ; 10395 ; LNCS sublibrary. SL 7, Artificial intelligence ; Lecture notes in computer science. ; Lecture notes in artificial intelligence ; ; 10395 ; LNCS sublibrary. ; SL 7, ; Artificial intelligence ; |
| 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 ; |
| Description: | Ohio Library and Information Network ; Available to OhioLINK libraries ; |
| URI: | http://localhost/handle/Hannan/1532 |
| ISBN: | 9783319630465 ; 3319630466 ; |
| More Information: | 1 online resource (xi, 582 pages) : ; illustrations ; International conference proceedings ; Includes author index ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319630465.pdf | 15.34 MB | Adobe PDF | Preview File |
| Title: | Automated deduction -- CADE 26 : |
| Other Titles: | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / |
| Authors: | International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ;;Moura, Leonardo de, ; editor ; |
| subject: | Automatic theorem proving ; Congresses ;;Logic, Symbolic and mathematical ; Congresses ; |
| Year: | 2017 |
| place: | Cham, Switzerland : |
| Publisher: | Springer, |
| Series/Report no.: | Lecture notes in artificial intelligence, ; 0302-9743 ; ; 10395 ; LNCS sublibrary. SL 7, Artificial intelligence ; Lecture notes in computer science. ; Lecture notes in artificial intelligence ; ; 10395 ; LNCS sublibrary. ; SL 7, ; Artificial intelligence ; |
| 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 ; |
| Description: | Ohio Library and Information Network ; Available to OhioLINK libraries ; |
| URI: | http://localhost/handle/Hannan/1532 |
| ISBN: | 9783319630465 ; 3319630466 ; |
| More Information: | 1 online resource (xi, 582 pages) : ; illustrations ; International conference proceedings ; Includes author index ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319630465.pdf | 15.34 MB | Adobe PDF | Preview File |