Login / Signup
Comparing and implementing calculi of explicit substitutions with eta-reduction.
Mauricio Ayala-Rincón
Flávio L. C. de Moura
Fairouz Kamareddine
Published in:
Ann. Pure Appl. Log. (2005)
Keyphrases
</>
databases
artificial neural networks
database
three dimensional
bayesian networks
expert systems