The following pages link to Jia Meng (Q1006730):
Displaying 8 items.
- Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- Translating higher-order clauses to first-order clauses (Q2471742) (← links)
- The Davis-Gut law and Lai law for finitely inhomogeneous walks (Q2960584) (← links)
- UNCOVER CONTEXT-SPECIFIC GENE REGULATION BY TRANSCRIPTION FACTORS AND microRNAs USING BAYESIAN SPARSE NONNEGATIVE FACTOR REGRESSION (Q3186188) (← links)
- Geometric Resolution: A Proof Procedure Based on Finite Model Search (Q3613415) (← links)
- (Q4690492) (← links)
- Automated Reasoning (Q5307074) (← links)
