Spurious Disambiguation Error Detection
From MaRDI portal
Publication:5428286
DOI10.1007/978-3-540-73086-6_30zbMath1202.68410WikidataQ56901939 ScholiaQ56901939MaRDI QIDQ5428286
Stefano Zacchiroli, Claudio Sacerdoti Coen
Publication date: 28 November 2007
Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_30
68T30: Knowledge representation
Related Items