Unification for effective and finite semantic tableaux in first-order logic : the SOFIA prover

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)

[img]
Preview
Cikk, tanulmány, mű
cscs_2004_075.pdf

Download (68kB) | Preview
Item Type: Article
Journal or Publication Title: Conference of PhD Students in Computer Science
Date: 2004
Volume: 4
Page Range: p. 75
Event Title: Conference of PhD students in computer science (4.) (2004) (Szeged)
Uncontrolled Keywords: Számítástechnika - előadáskivonat
Additional Information: Bibliogr.: 75. p.
Date Deposited: 2019. Oct. 14. 13:13
Last Modified: 2019. Oct. 14. 13:13
URI: http://acta.bibl.u-szeged.hu/id/eprint/59776

Actions (login required)

View Item View Item