Login / Signup
Ready to preorder: an algebraic and general proof.
David de Frutos-Escrig
Carlos Gregorio-Rodríguez
Miguel Palomino
Published in:
J. Log. Algebraic Methods Program. (2009)
Keyphrases
</>
special case
closely related
neural network
image processing
website
precise definition
artificial intelligence
social networks
three dimensional
theorem proving