Szerző: " Zombori Zsolt"

Vissza
Export [RSS feed] RSS 1.0 [RSS2 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. 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)

A lista elkészítésének dátuma 2024. március 29. 06:42:24 CET.