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 |
Publication series
Name | Volume 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.
@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 proceeding › Chapter › Scientific
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).