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]

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

Projects

1 Finished

Common Knowledge and the Foundations of Social Sciences

de Swart, H.

1/01/94 → 31/12/04

Project: Research project

Cite this

de Swart, H. C. M. (1995). Equational Proofs in Tableaux and Logic Programming. [Review of the book Equational Proofs in Tableaux and Logic Programming, E.A. De Kogel, 1995]. NVKI-Nieuwsbrief, 12 (2), 44-45.

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

issn = "0924-4476",

}

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

SN - 0924-4476

ER -