Jip Veldman

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. CNL (2009)
Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman
The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts. CNL (Pre-Proceedings) (2009)