| Original language | English |
|---|---|
| Pages (from-to) | 99-100 |
| Number of pages | 2 |
| Journal | Newsletter of the European network in computational logic |
| Volume | 2 |
| Issue number | 1 |
| Publication status | Published - 1995 |
Cite this
@article{09c753581129443990f12990e1691279,
title = "Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning",
author = "{de Swart}, H.C.M.",
note = "Pagination: 2",
year = "1995",
language = "English",
volume = "2",
pages = "99--100",
journal = "Newsletter of the European network in computational logic",
issn = "1024-8773",
number = "1",
}
de Swart, HCM 1995, 'Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning', Newsletter of the European network in computational logic, vol. 2, no. 1, pp. 99-100.
Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning. / de Swart, H.C.M.
In: Newsletter of the European network in computational logic, Vol. 2, No. 1, 1995, p. 99-100.Research output: Contribution to journal › Article › Scientific
TY - JOUR
T1 - Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning
AU - de Swart, H.C.M.
N1 - Pagination: 2
PY - 1995
Y1 - 1995
M3 - Article
VL - 2
SP - 99
EP - 100
JO - Newsletter of the European network in computational logic
JF - Newsletter of the European network in computational logic
SN - 1024-8773
IS - 1
ER -