Geometric synthesis of aerospace plane ascent guidance logic.
Kenneth D. MeaseMark A. Van BurenPublished in: Autom. (1994)
Keyphrases
- logic synthesis
- program synthesis
- three dimensional
- predicate logic
- automated reasoning
- multi valued
- classical logic
- functional programs
- defeasible logic
- neural network
- modal logic
- logic programming
- geometric structure
- proof theory
- computer vision
- computational properties
- geometric information
- digital circuits
- epistemic logic