Multi-hipertabló az automatikus tételbizonyításban

Fájlok
Tézisek(446.28 KB)
Értekezés(768.51 KB)
Tézisek magyarul és angolul(431.56 KB)
Értekezés magyarul(743.34 KB)
Dátum
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
multi-hipertabló, multi-hyper tableaux
Forrás
Hivatkozás
http://hdl.handle.net/2437/90518
Gyűjtemények
Matematika- és Számítástudományok Doktori Iskola