The following pages link to (Q3932279):
Displaying 5 items.
- An architecture for expert system based feedback control (Q915700) (← links)
- Computing structure: Sets, structures, and invariants in LISP (Q1192167) (← links)
- Semantic networks (Q1202620) (← links)
- Extraction and verification of programs by analysis of formal proofs (Q1823656) (← links)
- The critical inclination in artificial satellite theory (Q3789137) (← links)