Optimización de Trayectorias para Sistemas Sujetos a Restricciones No Holónomas.

Gustavo Arechavaleta

Published in: Computación y Sistemas (2011)

Keyphrases

theorem prover
formal methods
higher order logic
natural deduction
theorem proving
knowledge acquisition
case study
higher order
text classification
first order logic
inference rules