Login / Signup
On the Logic and Geometry of Bilinear Forms.
Vincenzo Manca
Published in:
Fundam. Informaticae (2005)
Keyphrases
</>
modal logic
three dimensional
logic programming
multi valued
classical logic
piecewise linear
automated reasoning
computational properties
delay insensitive
search engine
asynchronous circuits
predicate logic
set theory
defeasible logic
probabilistic logic
temporal logic
d objects
face recognition
knowledge base