The following pages link to Reasoning about programs (Q1212353):
Displaying 8 items.
- Synthetic programming (Q761788) (← links)
- Theory construction in psychology: The interpretation and integration of psychological data (Q1157291) (← links)
- Production rules as a representation for a knowledge-based consultation program (Q1232910) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- Logical debugging (Q1322853) (← links)
- A strong restriction of the inductive completion procedure (Q1824381) (← links)
- Current methods for proving program correctness (Q3911363) (← links)
