Login / Signup

Lucas-Interpretation on Isabelle's Functions.

Walther Neuper
Published in: ThEdu@IJCAR (2020)
Keyphrases
  • high level
  • artificial intelligence
  • theorem prover
  • image interpretation
  • semantic interpretation
  • real world
  • machine learning
  • search engine
  • computer vision
  • case study
  • multi agent systems