Login / Signup

Argument Mapping for Mathematics in Proofscape.

Steve Kieffer
Published in: Diagrams (2014)
Keyphrases
  • computer science
  • search engine
  • ontology mapping
  • electrical engineering
  • legal cases
  • database
  • real time
  • data sets
  • neural network
  • information retrieval
  • image processing
  • logic programming
  • grade students