Login / Signup

Abstracts of the fifth Spanish meeting on computer algebra and applications EACA-99.

Isabel Bermejo
Published in: SIGSAM Bull. (1999)
Keyphrases
  • computer algebra
  • theorem prover
  • question answering
  • information extraction
  • meeting room
  • language identification
  • automated theorem provers
  • genetic algorithm
  • bayesian networks
  • domain experts
  • speaker diarization