scientific article; zbMATH DE number 605797

zbMATH Open0846.68001MaRDI QIDQ4301157

E. Foxley, Edmund K. Burke

Publication date: 13 July 1994

Title of this publication is not available (Why is that?)

zbMATH Keywords

propositional logiclogic programmingdigital designformal proof systemsformal syntactic system

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Classical propositional logic (03B05) Logic programming (68N17)

Related Items (4)

Title not available (Why is that?) ⋮ Logic for computer scientists ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication:

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