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

Dátum
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