A Framework for Automated Reasoning in Multiple-Valued Logics

Authors
J.J.Lu,N.V.Murray,E.Rosenthal
Citation
J.j.lu,n.v.murray,e.rosenthal, A Framework for Automated Reasoning in Multiple-Valued Logics, Journal of automated reasoning , 21(1), 1998, pp. 39-67
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
1
Year of publication
1998
Pages
39 - 67
Database
ACNP
SICI code