Login / Signup
Constructive Proofs or Constructive Statements?.
Julio Rubio Garcia
Published in:
Mathematics, Algorithms, Proofs (2005)
Keyphrases
</>
neural network
artificial intelligence
search engine
computer vision
theorem proving
database
multi agent