scientific article; zbMATH DE number 605797

MaRDI QIDQ4301157zbMATH OpenFDO

Authors E. Foxley, Edmund K. Burke

Publication date 13 July 1994

zbMATH Keywords

digital designformal proof systemsformal syntactic systemlogic programmingpropositional logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 992300
• scientific article; zbMATH DE number 1446599
• Elementary logic. For software development
• scientific article; zbMATH DE number 46338
• scientific article; zbMATH DE number 789391

Cited in

(11)

• scientific article; zbMATH DE number 992300 (Why is no real title available?)
• scientific article; zbMATH DE number 432645 (Why is no real title available?)
• scientific article; zbMATH DE number 4024772 (Why is no real title available?)
• scientific article; zbMATH DE number 46338 (Why is no real title available?)
• scientific article; zbMATH DE number 49802 (Why is no real title available?)
• scientific article; zbMATH DE number 789391 (Why is no real title available?)
• Logic and reasoning
• Elementary logic. For software development
• An Application of Logic Engineering
• scientific article; zbMATH DE number 5037203 (Why is no real title available?)
• Logic for computer scientists

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)