Abstracts of Japanese computer algebra meeting in Kyoto.

Matu-Tarow Noda

Published in: SIGSAM Bull. (1996)

Keyphrases

computer algebra
theorem prover
automated theorem provers
computer algebra systems
meeting room
information extraction
japanese language
multi party
data sets
learning algorithm
feature selection
knowledge base
website
multiscale
multi agent
expert systems