جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/1532
| عنوان: | Automated deduction -- CADE 26 : |
| عنوان دیگر: | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / |
| پدیدآورنده: | International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ;;Moura, Leonardo de, ; editor ; |
| کلید واژه ها: | Automatic theorem proving ; Congresses ;;Logic, Symbolic and mathematical ; Congresses ; |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham, Switzerland : |
| ناشر: | Springer, |
| فروست / شماره : | 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 ; |
| چکیده: | The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license ; |
| توضیحات : | Ohio Library and Information Network ; Available to OhioLINK libraries ; |
| آدرس: | http://localhost/handle/Hannan/1532 |
| شابک : | 9783319630465 ; 3319630466 ; |
| اطلاعات بیشتر: | 1 online resource (xi, 582 pages) : ; illustrations ; International conference proceedings ; Includes author index ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319630465.pdf | 15.34 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Automated deduction -- CADE 26 : |
| عنوان دیگر: | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / |
| پدیدآورنده: | International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ;;Moura, Leonardo de, ; editor ; |
| کلید واژه ها: | Automatic theorem proving ; Congresses ;;Logic, Symbolic and mathematical ; Congresses ; |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham, Switzerland : |
| ناشر: | Springer, |
| فروست / شماره : | 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 ; |
| چکیده: | The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license ; |
| توضیحات : | Ohio Library and Information Network ; Available to OhioLINK libraries ; |
| آدرس: | http://localhost/handle/Hannan/1532 |
| شابک : | 9783319630465 ; 3319630466 ; |
| اطلاعات بیشتر: | 1 online resource (xi, 582 pages) : ; illustrations ; International conference proceedings ; Includes author index ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319630465.pdf | 15.34 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Automated deduction -- CADE 26 : |
| عنوان دیگر: | 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / |
| پدیدآورنده: | International Conference on Automated Deduction ; (26th : ; 2017 : ; Gothenburg, Sweden) ;;Moura, Leonardo de, ; editor ; |
| کلید واژه ها: | Automatic theorem proving ; Congresses ;;Logic, Symbolic and mathematical ; Congresses ; |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham, Switzerland : |
| ناشر: | Springer, |
| فروست / شماره : | 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 ; |
| چکیده: | The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license ; |
| توضیحات : | Ohio Library and Information Network ; Available to OhioLINK libraries ; |
| آدرس: | http://localhost/handle/Hannan/1532 |
| شابک : | 9783319630465 ; 3319630466 ; |
| اطلاعات بیشتر: | 1 online resource (xi, 582 pages) : ; illustrations ; International conference proceedings ; Includes author index ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319630465.pdf | 15.34 MB | Adobe PDF | مشاهده فایل |