The following pages link to Zsolt Zombori (Q2142071):
Displaying 8 items.
- Towards finding longer proofs (Q2142073) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- Static Type Checking for the Q Functional Language in Prolog (Q2909143) (← links)
- Two Phase Description Logic Reasoning for Efficient Information Retrieval. (Q2909176) (← links)
- Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving (Q4898739) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- Static Type Inference for the Q language using Constraint Logic Programming (Q5398050) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
