Many-valued logics 2 - automated reasoning and practical applications

Leonard Bolc, Piotr Borowik. Many-valued logics 2 - automated reasoning and practical applications. Springer, 2003. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.