Login / Signup
Formalization of Complex Vectors in Higher-Order Logic.
Sanaz Khan Afshar
Vincent Aravantinos
Osman Hasan
Sofiène Tahar
Published in:
CoRR (2014)
Keyphrases
</>
higher order logic
higher order
logical framework
theorem prover
high level
conditional logic
knowledge representation
general purpose
vector space
belief revision
automated reasoning