Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Wei Li; Yuefei Sui
    978-981-16-9294-9
    2022
    Edition 1
    • Discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics
    • Shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one
    • Inspires theoretic computer scientists by showing how a simple idea, R-calculus is developed

    €280

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.