Developing Field Theory in Mizar
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Polish Information Processing Society
2023-09-01
|
| Series: | Annals of computer science and information systems |
| Online Access: | https://annals-csis.org/Volume_35/drp/pdf/3409.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849317745089314816 |
|---|---|
| author | Christoph Schwarzweller |
| author_facet | Christoph Schwarzweller |
| author_sort | Christoph Schwarzweller |
| collection | DOAJ |
| format | Article |
| id | doaj-art-3f47fbcbaa674e32a09af8310014edd6 |
| institution | Kabale University |
| issn | 2300-5963 |
| language | English |
| publishDate | 2023-09-01 |
| publisher | Polish Information Processing Society |
| record_format | Article |
| series | Annals of computer science and information systems |
| spelling | doaj-art-3f47fbcbaa674e32a09af8310014edd62025-08-20T03:51:08ZengPolish Information Processing SocietyAnnals of computer science and information systems2300-59632023-09-013530330810.15439/2023F3409Developing Field Theory in MizarChristoph Schwarzwellerhttps://annals-csis.org/Volume_35/drp/pdf/3409.pdf |
| spellingShingle | Christoph Schwarzweller Developing Field Theory in Mizar Annals of computer science and information systems |
| title | Developing Field Theory in Mizar |
| title_full | Developing Field Theory in Mizar |
| title_fullStr | Developing Field Theory in Mizar |
| title_full_unstemmed | Developing Field Theory in Mizar |
| title_short | Developing Field Theory in Mizar |
| title_sort | developing field theory in mizar |
| url | https://annals-csis.org/Volume_35/drp/pdf/3409.pdf |
| work_keys_str_mv | AT christophschwarzweller developingfieldtheoryinmizar |