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

Authors

Kovásznai, Gergely

Kulcsszavak

multi-hipertabló , multi-hyper tableaux

Hivatkozás

http://hdl.handle.net/2437/90518

Gyűjtemények

Matematika- és Számítástudományok Doktori Iskola

A tétel részletes nézete