Gergely, Tamás

3 publications

IJCAI 1987 Inductive Inference on the Base of Fixed Point Theory Tamás Gergely, Zoltán Szabó

IJCAI 1983 Negative Hyper-Resolution for Proving Statements Containing Transitive Relations Tamás Gergely, Konstantin Vershinin

IJCAI 1975 On the Role of Mathematical Language Concept in the Theory of Intelligent Systems Hajnal Andréka, Tamás Gergely, István Németi