Login / Signup
Abstracts of papers in the Journal of Symbolic Computation.
Franz Winkler
Published in:
SIGSAM Bull. (1988)
Keyphrases
</>
journal articles
special issue
papers published
metadata
database
case study
digital libraries
automated deduction
editorial board
data sets
neural network
genetic algorithm
search engine
natural language
human computer interaction
scientific literature