Computational logic. Volume 1: Classical deductive computing with classical logic

MaRDI QIDQ4586052zbMATH OpenFDO

Authors Luis M. Augusto

Publication date 11 September 2018

zbMATH Keywords

classical logiclogic programmingmodels of computationPrologproof systemssemantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 7241862
• Logics for Computer Science
• scientific article; zbMATH DE number 193652
• scientific article; zbMATH DE number 3913652
• scientific article; zbMATH DE number 46338

This page was built for publication: Computational logic. Volume 1: Classical deductive computing with classical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586052)