A tableaux-based automated theorem prover

WMJ Ophelders, EA Kogel

Research output: Chapter/Conference proceedingChapterAcademic

Original languageUndefined/Unknown
Title of host publicationLOGIC: mathematics, language, computer science and philosophy: volume II, logic and computer science
EditorsH.C.M de Swart
Place of PublicationFrankfurt
PublisherPeter Lang
Pages263-286
Number of pages24
Publication statusPublished - 1994
Externally publishedYes

Cite this