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