Resolution for many-valued logics
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 107-118
- https://doi.org/10.1007/bfb0013053
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Mehrwertige LogikPublished by Walter de Gruyter GmbH ,1989
- Many-Valued LogicPublished by Springer Nature ,1968