( en | de | ru )

 

Disambiguation of "Zombori, Zsolt"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Finding Longer Proofs.

, , , , and . TABLEAUX, volume 12842 of Lecture Notes in Computer Science, page 167-186. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zsolt Szücs

Zsolt Szabó

Zsolt Zrinyi

Zsolt Szabó

Zsolt Szentiványi

 

Other publications of authors with the same name

Lemmas: Generation, Selection, Application., , , and . TABLEAUX, volume 14278 of Lecture Notes in Computer Science, page 153-174. Springer, (2023)Two Phase Description Logic Reasoning for Efficient Information Retrieval.. ESWC (2), volume 6089 of Lecture Notes in Computer Science, page 498-502. Springer, (2010)Prolog alapú következtetés. Budapest University of Technology and Economics, Hungary, (2013)Towards Finding Longer Proofs., , , , and . TABLEAUX, volume 12842 of Lecture Notes in Computer Science, page 167-186. Springer, (2021)Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language, , and . CoRR, (2011)A Resolution Based Description Logic Calculus., and . Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Towards Finding Longer Proofs., , , , and . CoRR, (2019)Prolog Technology Reinforcement Learning Prover., , and . CoRR, (2020)Prolog Technology Reinforcement Learning Prover - (System Description)., , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 489-507. Springer, (2020)Towards solving the 7-in-a-row game., , , and . CoG, page 1-8. IEEE, (2021)