Logic in Computer Science (Q4830107)

From MaRDI portal
scientific article; zbMATH DE number 2121178
Language Label Description Also known as
English
Logic in Computer Science
scientific article; zbMATH DE number 2121178

    Statements

    Logic in Computer Science (English)
    0 references
    3 December 2004
    0 references
    textbook
    0 references
    natural deduction
    0 references
    SAT solver
    0 references
    propositional logic
    0 references
    predicate logic
    0 references
    object modeling
    0 references
    model checking
    0 references
    program verification
    0 references
    contract-programming paradigm
    0 references
    modal logic
    0 references
    logic of knowledge
    0 references
    multiagent systems
    0 references
    binary decision diagrams
    0 references
    data structure
    0 references
    Boolean functions
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references