The following pages link to (Q5620341):
Displaying 8 items.
- Inferring the positions of bodies from specified spatial relationships (Q1216190) (← links)
- Output driven interpretation of recursive programs, or writing creates and destroys data structures (Q1238624) (← links)
- Programming by examples (Q1255776) (← links)
- Complete sets of unifiers and matchers in equational theories (Q1820760) (← links)
- Leave and recall: Primitives for procedural programming (Q3865422) (← links)
- PROTECTION AS A GENERAL SYSTEMS PROBLEM (Q4090182) (← links)
- Unbounded computational structures (Q4153596) (← links)
- A mixed language system POP-2 and FORTRAN (Q4404407) (← links)