The following pages link to Hidenori Itoh (Q1108820):
Displayed 16 items.
- Partial evaluation of queries in deductive databases (Q1108821) (← links)
- Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
- Inferring solids composed of linear and quadratic surfaces from incomplete three views (Q1415936) (← links)
- \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE (Q1429427) (← links)
- (Q2725793) (← links)
- (Q2725838) (← links)
- (Q4008395) (← links)
- (Q4227009) (← links)
- (Q4448899) (← links)
- (Q4708193) (← links)
- R-SATCHMO: Refinements on I-SATCHMO (Q4820462) (← links)
- (Q4871687) (← links)
- (Q4871698) (← links)
- (Q4871700) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191585) (← links)
- (Q5477421) (← links)