"Logic for Computer Science: Foundations of Automatic Theorem Proving"

E524533
computer science book logic textbook non-fiction book textbook

"Logic for Computer Science: Foundations of Automatic Theorem Proving" is a textbook that introduces the logical foundations and practical techniques underlying automated theorem proving and its applications in computer science.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
"Logic for Computer Science: Foundations of Automatic Theorem Proving" canonical 1
A Computational Logic 1

Statements (45)

Predicate Object
instanceOf computer science book ⓘ
logic textbook ⓘ
non-fiction book ⓘ
textbook ⓘ
aimsTo connect logic with applications in computer science ⓘ
introduce logical foundations of automated theorem proving ⓘ
present practical techniques for automatic theorem proving ⓘ
field mathematical logic in computer science ⓘ
theoretical computer science ⓘ
hasApplication artificial intelligence ⓘ
deductive databases ⓘ
formal specification of software ⓘ
hardware verification ⓘ
knowledge representation ⓘ
program verification ⓘ
hasSubject Herbrand’s theorem NERFINISHED ⓘ
Skolemization NERFINISHED ⓘ
automated reasoning ⓘ
automated theorem proving ⓘ
complexity of proof procedures ⓘ
computer science ⓘ
constraint solving ⓘ
decision procedures ⓘ
first-order logic ⓘ
formal methods ⓘ
formal verification ⓘ
logic programming ⓘ
mathematical logic ⓘ
model theory (computer science) ⓘ
natural deduction ⓘ
proof theory ⓘ
propositional logic ⓘ
resolution calculus ⓘ
satisfiability ⓘ
search algorithms ⓘ
sequent calculus ⓘ
soundness and completeness ⓘ
specification languages ⓘ
tableaux methods ⓘ
term rewriting ⓘ
unification ⓘ
intendedAudience advanced undergraduate students ⓘ
graduate students ⓘ
practitioners of formal methods ⓘ
researchers in computer science ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Donald W. Loveland → authorOf → "Logic for Computer Science: Foundations of Automatic Theorem Proving" ⓘ
Robert S. Boyer → notableWork → "Logic for Computer Science: Foundations of Automatic Theorem Proving" ⓘ
this entity surface form: A Computational Logic