Items where Author is "Kovásznai, Gergely"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 5.

Article

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. In: Conference of PhD Students in Computer Science, (4). p. 75. (2004)

Kovásznai, Gergely: Universal configuration language and core-architecture for dialogue systems. In: Magyar Számítógépes Nyelvészeti Konferencia, (1). p. 297. (2003)

Kovásznai, Gergely: Univerzális konfigurációs nyelv és mag-architektúra párbeszédes rendszerekhez. In: Magyar Számítógépes Nyelvészeti Konferencia, (1). p. 296. (2003)

Kovásznai, Gergely and Veréb, Krisztián: Mathematical morphology in image processing by SLD resolution. In: Conference of PhD Students in Computer Science, (3). p. 64. (2002)

This list was generated on 2021. április 13. 20:22:01 CEST.