Login / Signup

SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi.

Flávio L. C. de MouraMauricio Ayala-RincónFairouz Kamareddine
Published in: J. Appl. Non Class. Logics (2006)
Keyphrases
  • software tools
  • information systems
  • artificial neural networks
  • neural network
  • artificial intelligence
  • image segmentation
  • bayesian networks
  • relational databases