Login / Signup
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems.
Marc Wagner
Serge Autexier
Christoph Benzmüller
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
text retrieval
text mining
intelligent systems
information systems
keywords
hidden markov models
free text
web documents
complex systems
multimedia search
database
special issue
retrieval systems
computer systems
management system
data sources
neural network