A tableaux-based automated theorem prover

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific

Original language	English
Title of host publication	LOGIC, Mathematics, Language, Computer Science and Philosophy
Editors	H.C.M. de Swart
Place of Publication	Frankfurt
Publisher	Verlag Peter Lang
Pages	263-286
Publication status	Published - 1994

Name	Volume II: Logic and Computer Science

Cite this

@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",

}