Items where Author is " Zombori Zsolt"

Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.


Zombori Zsolt and Szeredi Péter: Loop elimination, a sound optimisation technique for PTTP related theorem proving. In: Acta cybernetica, (20) 3. pp. 441-458. (2012)

Zombori Zsolt: A resolution based description logic calculus. In: Acta cybernetica, (19) 3. pp. 571-590. (2010)

This list was generated on 2023. március 28. 13:17:05 CEST.