Login / Signup
Comportamiento Autónomo del Holón Recurso basado en la Agenda de Producción.
Luis F. Quintero Henao
Germán Zapata
Demetrio Arturo Ovalle Carranza
Edgar Chacón Ramírez
Published in:
Rev. Avances en Sistemas Informática (2008)
Keyphrases
</>
del gobierno
theorem prover
formal methods
natural deduction
theorem proving
higher order logic
expert systems
social bookmarking
feature selection
inference rules