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

Dátum
2009-11-26T13:46:35Z
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