A User Interface for a Mathematical System that Allows Ambiguous Formulae
Claudio Sacerdoti CoenVolume:
226
Year:
2009
Language:
english
Pages:
21
DOI:
10.1016/j.entcs.2008.12.098
File:
PDF, 2.29 MB
english, 2009