A tableaux-based automated theorem prover

E.A. de Kogel, W.M.J. Ophelders

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

    Original languageEnglish
    Title of host publicationLOGIC, Mathematics, Language, Computer Science and Philosophy
    EditorsH.C.M. de Swart
    Place of PublicationFrankfurt
    PublisherVerlag Peter Lang
    Pages263-286
    Publication statusPublished - 1994

    Publication series

    NameVolume II: Logic and Computer Science

    Cite this

    de Kogel, E. A., & Ophelders, W. M. J. (1994). A tableaux-based automated theorem prover. In H. C. M. de Swart (Ed.), LOGIC, Mathematics, Language, Computer Science and Philosophy (pp. 263-286). (Volume II: Logic and Computer Science). Frankfurt: Verlag Peter Lang.
    de Kogel, E.A. ; Ophelders, W.M.J. / A tableaux-based automated theorem prover. LOGIC, Mathematics, Language, Computer Science and Philosophy. editor / H.C.M. de Swart. Frankfurt : Verlag Peter Lang, 1994. pp. 263-286 (Volume II: Logic and Computer Science).
    @inbook{6ec6ecda89464c2e9ef2b16035548a5a,
    title = "A tableaux-based automated theorem prover",
    author = "{de Kogel}, E.A. and W.M.J. Ophelders",
    year = "1994",
    language = "English",
    series = "Volume II: Logic and Computer Science",
    publisher = "Verlag Peter Lang",
    pages = "263--286",
    editor = "{de Swart}, H.C.M.",
    booktitle = "LOGIC, Mathematics, Language, Computer Science and Philosophy",

    }

    de Kogel, EA & Ophelders, WMJ 1994, A tableaux-based automated theorem prover. in HCM de Swart (ed.), LOGIC, Mathematics, Language, Computer Science and Philosophy. Volume II: Logic and Computer Science, Verlag Peter Lang, Frankfurt, pp. 263-286.

    A tableaux-based automated theorem prover. / de Kogel, E.A.; Ophelders, W.M.J.

    LOGIC, Mathematics, Language, Computer Science and Philosophy. ed. / H.C.M. de Swart. Frankfurt : Verlag Peter Lang, 1994. p. 263-286 (Volume II: Logic and Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

    TY - CHAP

    T1 - A tableaux-based automated theorem prover

    AU - de Kogel, E.A.

    AU - Ophelders, W.M.J.

    PY - 1994

    Y1 - 1994

    M3 - Chapter

    T3 - Volume II: Logic and Computer Science

    SP - 263

    EP - 286

    BT - LOGIC, Mathematics, Language, Computer Science and Philosophy

    A2 - de Swart, H.C.M.

    PB - Verlag Peter Lang

    CY - Frankfurt

    ER -

    de Kogel EA, Ophelders WMJ. A tableaux-based automated theorem prover. In de Swart HCM, editor, LOGIC, Mathematics, Language, Computer Science and Philosophy. Frankfurt: Verlag Peter Lang. 1994. p. 263-286. (Volume II: Logic and Computer Science).