ITA
ENG

Automated Reasoning With Analytic Tableaux: Tableaux for Logic Programming

Authors

M.Fitting

Citation

M.fitting, Automated Reasoning With Analytic Tableaux: Tableaux for Logic Programming, Journal of automated reasoning , 13(2), 1994, pp. 175-188

Journal title

Journal of automated reasoning → ACNP

ISSN journal

01687433

Volume

13

Issue

2

Year of publication

1994

Part

1

Pages

175 - 188

Database

ACNP

SICI code