Hungarian

Items where Author is " Zombori Zsolt"

[Fel] Up
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 3.

Article

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)

Conference or Workshop Item

Zombori Zsolt: Matematikai formulák beágyazása vektortérbe : [absztrakt].

This list was generated on 2025. december 17. 09:55:13 CET.
Technical information: contenta AT ek.szte.hu
Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.