Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning

Research output: Contribution to journal › Article › Scientific

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

}