Login / Signup
Abstracts of Japanese computer algebra meeting in Kyoto.
Fujio Kako
Published in:
SIGSAM Bull. (1998)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
meeting room
journal articles
japanese language
neural network
data mining
chinese characters
multi party
biomedical literature
speaker diarization
automated theorem provers