Mizar Set Comprehension in Isabelle Framework
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Polish Information Processing Society
2018-09-01
|
| Series: | Annals of computer science and information systems |
| Online Access: | https://annals-csis.org/Volume_17/drp/pdf/106.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849423687003930624 |
|---|---|
| author | Karol Pąk |
| author_facet | Karol Pąk |
| author_sort | Karol Pąk |
| collection | DOAJ |
| format | Article |
| id | doaj-art-b8f05456f7394ae68486730ebd5eaf5d |
| institution | Kabale University |
| issn | 2300-5963 |
| language | English |
| publishDate | 2018-09-01 |
| publisher | Polish Information Processing Society |
| record_format | Article |
| series | Annals of computer science and information systems |
| spelling | doaj-art-b8f05456f7394ae68486730ebd5eaf5d2025-08-20T03:30:32ZengPolish Information Processing SocietyAnnals of computer science and information systems2300-59632018-09-0117232610.15439/2018F106Mizar Set Comprehension in Isabelle FrameworkKarol Pąkhttps://annals-csis.org/Volume_17/drp/pdf/106.pdf |
| spellingShingle | Karol Pąk Mizar Set Comprehension in Isabelle Framework Annals of computer science and information systems |
| title | Mizar Set Comprehension in Isabelle Framework |
| title_full | Mizar Set Comprehension in Isabelle Framework |
| title_fullStr | Mizar Set Comprehension in Isabelle Framework |
| title_full_unstemmed | Mizar Set Comprehension in Isabelle Framework |
| title_short | Mizar Set Comprehension in Isabelle Framework |
| title_sort | mizar set comprehension in isabelle framework |
| url | https://annals-csis.org/Volume_17/drp/pdf/106.pdf |
| work_keys_str_mv | AT karolpak mizarsetcomprehensioninisabelleframework |