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