Hungarian

Items where Author is "Gáncs, István"

["Update/Views:up_a_level_alt" not defined] Up
Export as [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Number of items: 1.

Gáncs, István (1981) A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok. Masters, József Attila Tudományegyetem.

This list was generated on 2025. április 25. 13:41:36 CEST.
SZTE Repository of Degree Theses 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.