Formalization of Complex Vectors in Higher-Order Logic.

Sanaz Khan Afshar Vincent Aravantinos Osman Hasan Sofiène Tahar

Published in: CICM (2014)

Keyphrases

higher order logic
higher order
theorem prover
high level
logical framework
pairwise
knowledge representation
data model