Vissza |
Kovásznai Gergely: HyperS tableaux - heuristic hyper tableaux. In: Acta cybernetica, (17) 2. pp. 325-338. (2005)
Kovásznai Gergely: Unification for effective and finite semantic tableaux in first-order logic : the SOFIA prover : [abstract].
Kovásznai Gergely: Universal configuration language and core-architecture for dialogue systems.
Kovásznai Gergely: Univerzális konfigurációs nyelv és mag-architektúra párbeszédes rendszerekhez.
Kovásznai Gergely; Veréb Krisztián: Mathematical morphology in image processing by SLD resolution : [abstract].