Login / Signup
Abstracts of papers in the Journal of Symbolic Computation.
Franz Winkler
Published in:
SIGSAM Bull. (1987)
Keyphrases
</>
journal articles
special issue
papers published
special section
metadata
international journal
automated deduction
scientific literature
databases
recent progress
search engine
real time
case study
knowledge base
information systems
genetic algorithm
information retrieval
machine learning