Tudományterület szerző szerint "Zombori, Zsolt"

Vissza
Export [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 2.

Cikk, tanulmány, mű

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

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

A lista elkészítésének dátuma 2017. november 21. 14:56:29 CET.