Herman Geuvers
From WikiPapers
| Herman Geuvers (Alternative names for this author) | |
| Affiliation | Unknown [+] |
| Country | Unknown [+] |
| Co-authors | Jesse Alama, Josef Urban, Piotr Rudnicki |
| Website | Unknown [+] |
| Wikidata | Unknown [+] |
| Statistics | |
| Authorship | Publications (1), datasets (0), tools (0) |
| Citations | Total (0), average (0), median (0), max (0), min (0) |
| Keywords | |
| Search | |
| DBLP · Google Scholar | |
| Export and share | |
| BibTeX, CSV, RDF, JSON | |
      
| |
| Browse properties · List of authors | |
Herman Geuvers is an author.
Publications
Only those publications related to wikis are shown here.| Title | Keyword(s) | Published in | Language | DateThis property is a special property in this wiki. | Abstract | R | C |
|---|---|---|---|---|---|---|---|
| A wiki for Mizar: motivation, considerations, and initial prototype | AISC'10/MKM'10/Calculemus | English | 2010 | 0 | 0 |
