Sign in

A Type-Coercion Problem in Computer Algebra.

Andreas Weber
Published in: AISMC (1992)
Keyphrases
  • computer algebra
  • theorem prover
  • website
  • data sets
  • information retrieval
  • social networks
  • computer vision
  • cooperative
  • object recognition
  • knowledge representation