Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Mordechai Ben-Ari
    978-1-4471-4129-7
    2012
    Edition 3
    • Semantic tableaux are used because they are theoretically sound and easy to understand
    • The Third Edition has new chapters on SAT solvers and model checking
    • Supplementary materials: Prolog source code for the algorithms and answers to the exercises (available to qualified instructors)
    • Includes supplementary material: sn.pub/extras
    • Includes supplementary material: sn.pub/extras
    • Request lecturer material: sn.pub/lecturer-material

    €419

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.