2001
Tableau reasoning and programming with dynamic first order logic
Publication
Publication
Logic Journal of the IGPL , Volume 9 - Issue 3 p. 411- 445
Additional Metadata | |
---|---|
, , | |
Oxford U.P. | |
Logic Journal of the IGPL | |
Organisation | Standardization and Knowledge Transfer |
van Eijck, J., Heguiabehere, J. M., & Ó Nualláin, B. (2001). Tableau reasoning and programming with dynamic first order logic. Logic Journal of the IGPL, 9(3), 411–445. |