Login / Signup

Esbozo de un modelo sistémico de escuela para el cultivo del sentido holístico.

Martha L. OrellanaJosé D. CabreraDiego E. Mantilla
Published in: Rev. Colomb. de Computación (2012)
Keyphrases
  • del gobierno
  • theorem prover
  • formal methods
  • natural deduction
  • higher order logic
  • theorem proving
  • genetic algorithm
  • video sequences
  • probabilistic model
  • image processing
  • multi agent systems
  • pairwise