Várterész, MagdaKovásznai, Gergely2009-11-262009-11-262007http://hdl.handle.net/2437/90518-101humulti-hipertablómulti-hyper tableauxMulti-hipertabló az automatikus tételbizonyításbanPhD, doktori értekezésMulti-hyper Tableaux in Automated TheoremMatematika- és számítástudományokTermészettudományok