Equational Proofs in Tableaux and Logic Programming. [Review of the book Equational Proofs in Tableaux and Logic Programming, E.A. De Kogel, 1995]

H.C.M. de Swart

Equational Proofs in Tableaux and Logic Programming. [Review of the book Equational Proofs in Tableaux and Logic Programming, E.A. De Kogel, 1995]

H.C.M. de Swart

Research output: Contribution to journal › Book/Film/Article review › Other research output

Original language	Dutch
Pages (from-to)	44-45
Journal	NVKI-Nieuwsbrief
Volume	12 (2)
Publication status	Published - 1995

Common Knowledge and the Foundations of Social Sciences
de Swart, H. (Principal Investigator)
1/01/94 → 31/12/04
Project: Research project

Cite this

@article{d6889c23099b419b8dbf9425ef6d10c9,

title = "Equational Proofs in Tableaux and Logic Programming. [Review of the book Equational Proofs in Tableaux and Logic Programming, E.A. De Kogel, 1995]",

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

note = "Reviewed items: Title: Equational Proofs in Tableaux and Logic Programming Author(s): E.A. De Kogel Year published: 1995 Number of pages: VIII 139",

year = "1995",

language = "Dutch",

volume = "12 (2)",

pages = "44--45",

journal = "NVKI-Nieuwsbrief",

}

TY - JOUR

T1 - Equational Proofs in Tableaux and Logic Programming. [Review of the book Equational Proofs in Tableaux and Logic Programming, E.A. De Kogel, 1995]

AU - de Swart, H.C.M.

N1 - Reviewed items: Title: Equational Proofs in Tableaux and Logic Programming Author(s): E.A. De Kogel Year published: 1995 Number of pages: VIII 139

PY - 1995

Y1 - 1995

M3 - Book/Film/Article review

VL - 12 (2)

SP - 44

EP - 45

JO - NVKI-Nieuwsbrief

JF - NVKI-Nieuwsbrief

ER -

Equational Proofs in Tableaux and Logic Programming. [Review of the book Equational Proofs in Tableaux and Logic Programming, E.A. De Kogel, 1995]

Projects

Common Knowledge and the Foundations of Social Sciences

Cite this