Herman Geuvers

From WikiPapers
Jump to: navigation, search

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