A tableaux-based automated theorem prover

Research output: Chapter/Conference proceeding › Chapter › Academic

Original language	Undefined/Unknown
Title of host publication	LOGIC: mathematics, language, computer science and philosophy: volume II, logic and computer science
Editors	H.C.M de Swart
Place of Publication	Frankfurt
Publisher	Peter Lang
Pages	263-286
Number of pages	24
Publication status	Published - 1994
Externally published	Yes

Research programs

@inbook{95f442097a51468a86786f8cf34271a8,

title = "A tableaux-based automated theorem prover",

author = "WMJ Ophelders and EA Kogel",

year = "1994",

language = "Undefined/Unknown",

pages = "263--286",

editor = "\{de Swart\}, H.C.M",

booktitle = "LOGIC: mathematics, language, computer science and philosophy: volume II, logic and computer science",

publisher = "Peter Lang",

address = "Switzerland",

}