Login / Signup
Intersection Quasi-Orderings: An Alternative Proof.
Walter Bossert
Published in:
Order (1999)
Keyphrases
</>
theorem prover
databases
machine learning
case study
face recognition
logic programming
theorem proving