جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/1285
| عنوان: | Interactive Theorem Proving |
| عنوان دیگر: | 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / |
| پدیدآورنده: | Avigad, Jeremy. ;;Mahboubi, Assia. ; |
| کلید واژه ها: | Computer Science;Computer system failures. ;;Software Engineering;Programming Languages and Electronic Computers;Computer logic. ;;Mathematical logic. ;;Artificial Intelligence;Computer Science;Mathematical Logic and Formal Languages. ;;Software Engineering;Artificial Intelligence and Robotics;Logics and Meanings of Programs. ;;Programming Languages and Compilers and Interpreters;System Performance and Evaluation. ;;005.131 ; 23 ;;QA8.9-QA10.3 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; |
| چکیده: | 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. ; |
| توضیحات : | Printed edition: ; 9783319948201. ; SpringerLink (Online service) ; |
| آدرس: | http://localhost/handle/Hannan/1285 |
| شابک : | 9783319948218 ; 9783319948201 (print) ; |
| اطلاعات بیشتر: | XVII, 642 p. 103 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319948201.pdf | 20.14 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Interactive Theorem Proving |
| عنوان دیگر: | 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / |
| پدیدآورنده: | Avigad, Jeremy. ;;Mahboubi, Assia. ; |
| کلید واژه ها: | Computer Science;Computer system failures. ;;Software Engineering;Programming Languages and Electronic Computers;Computer logic. ;;Mathematical logic. ;;Artificial Intelligence;Computer Science;Mathematical Logic and Formal Languages. ;;Software Engineering;Artificial Intelligence and Robotics;Logics and Meanings of Programs. ;;Programming Languages and Compilers and Interpreters;System Performance and Evaluation. ;;005.131 ; 23 ;;QA8.9-QA10.3 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; |
| چکیده: | 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. ; |
| توضیحات : | Printed edition: ; 9783319948201. ; SpringerLink (Online service) ; |
| آدرس: | http://localhost/handle/Hannan/1285 |
| شابک : | 9783319948218 ; 9783319948201 (print) ; |
| اطلاعات بیشتر: | XVII, 642 p. 103 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319948201.pdf | 20.14 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Interactive Theorem Proving |
| عنوان دیگر: | 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / |
| پدیدآورنده: | Avigad, Jeremy. ;;Mahboubi, Assia. ; |
| کلید واژه ها: | Computer Science;Computer system failures. ;;Software Engineering;Programming Languages and Electronic Computers;Computer logic. ;;Mathematical logic. ;;Artificial Intelligence;Computer Science;Mathematical Logic and Formal Languages. ;;Software Engineering;Artificial Intelligence and Robotics;Logics and Meanings of Programs. ;;Programming Languages and Compilers and Interpreters;System Performance and Evaluation. ;;005.131 ; 23 ;;QA8.9-QA10.3 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10895. ; |
| چکیده: | 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. ; |
| توضیحات : | Printed edition: ; 9783319948201. ; SpringerLink (Online service) ; |
| آدرس: | http://localhost/handle/Hannan/1285 |
| شابک : | 9783319948218 ; 9783319948201 (print) ; |
| اطلاعات بیشتر: | XVII, 642 p. 103 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319948201.pdf | 20.14 MB | Adobe PDF | مشاهده فایل |