Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • How to Cut and Paste Reasoning Systems
    Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia; Cristina Sernadas
    978-1-4020-6782-2
    2008
    Edition 1
    • First book addressing both composition and decomposition of logics
    • Tool box for combining and decomposing logics in different guises
    • Mathematical approach
    • Several examples in such diverse areas as software specification, knowledge representation, argumentation theory, networks, security protocols and quantum computing
    • Written by internationally leading researchers in the field of pure and applied logic and philosophy

    €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.