The following pages link to Stuart C. Shapiro (Q881831):
Displayed 9 items.
- Defining answer classes using resolution refutation (Q881832) (← links)
- The SNePS family (Q1202636) (← links)
- (Q2754258) (← links)
- (Q2754609) (← links)
- (Q3883547) (← links)
- Interactive consulting via natural language (Q4066574) (← links)
- Toward a theory of encoded data structures and data translation (Q4079053) (← links)
- Boolean-valued loops (Q4088262) (← links)
- The list set generator (Q5613556) (← links)