Login / Signup
Forking geometry on theories with an independent predicate.
Juan Felipe Carmona
Published in:
Arch. Math. Log. (2015)
Keyphrases
</>
multimedia
three dimensional
database systems
domain knowledge
theoretical framework