Logic for Artificial Intelligence: Informational Logic as Tool for Automated Reasoning

Authors
P.Forcheri,P.Gentilini,M.T.Molfino
Citation
P.forcheri,p.gentilini,m.t.molfino, Logic for Artificial Intelligence: Informational Logic as Tool for Automated Reasoning, Journal of automated reasoning , 20(1/2), 1998, pp. 167-190
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
1/2
Year of publication
1998
Pages
167 - 190
Database
ACNP
SICI code