A wiki for Mizar: motivation, considerations, and initial prototype
From WikiPapers
| A wiki for Mizar: motivation, considerations, and initial prototype | |
| Author(s) | Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers |
| Published in | AISC'10/MKM'10/Calculemus |
| Date | 2010 |
| Volume | Unknown [+] |
| Issue | Unknown [+] |
| Page(s) | 455-469 |
| Keyword(s) | Unknown [+] |
| Peer-reviewed? | Unknown [+] |
| Language(s) | English |
| License(s) | Unknown [+] |
| Identifiers | |
| ISBN | 3-642-14127-7, 978-3-642-14127-0 |
| DOI | Unknown [+] |
| OCLC Number | Unknown [+] |
| CiteULike | Unknown [+] |
| arXiv | Unknown [+] |
| PubMed | Unknown [+] |
| Related material | |
| Concept(s) | Unknown [+] |
| Tool(s) | Unknown [+] |
| Dataset(s) | Unknown [+] |
| Slides | Not available [+] |
| Presentation | Not available [+] |
| Search | |
| Article | BASE, CiteSeerX, Google Scholar |
| Web | Ask, Bing, Google (PDF), Yahoo! |
| Download and mirrors | |
| Local copy | Not available [+] |
| Remote mirror(s) | Not available [+] |
| Archive(s) | Not available [+] |
| Paywall(s) | Not available [+] |
| Export and share | |
| BibTeX, CSV, RDF, JSON | |
      
| |
| Browse properties ยท List of conference papers | |
A wiki for Mizar: motivation, considerations, and initial prototype is a 2010 conference paper written in English by Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers and published in AISC'10/MKM'10/Calculemus.
[edit] Abstract
- This section requires expansion. Please, help!
[edit] References
- This section requires expansion. Please, help!
Cited by
Probably, this publication is cited by others, but there are no articles available for them in WikiPapers.
Discussion
No comments yet. Be first!
