Zsolt Zombori

Available identifiers

zbMath Open zombori.zsoltMaRDI QIDQ2142071

List of research outcomes

Publication	Date of Publication	Type
Lemmas: generation, selection, application	2024-05-17	Paper
Prolog Technology Reinforcement Learning Prover	2022-11-09	Paper
Towards finding longer proofs	2022-05-25	Paper
The role of entropy in guiding a connection prover	2022-05-25	Paper
Static type inference for the Q language using constraint logic programming	2014-02-25	Paper
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving	2013-01-02	Paper
Static type checking for the Q functional language in Prolog	2012-08-29	Paper
Two phase description logic reasoning for efficient information retrieval	2012-08-29	Paper

Research outcomes over time

This page was built for person: Zsolt Zombori