EAGLE-STARTING AID. Technical informatics. Logical funcions -- Boolean models

MaRDI QIDQ5411628zbMATH OpenFDO

Authors Bernd Steinbach, Christian Posthoff

Publication date 24 April 2014

zbMATH Keywords

Boolean functiondigital technologylogical equationlogical functionsatisfiability problem

Mathematics Subject Classification ID

Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical problems of computer architecture (68M07) Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 6405037
• scientific article; zbMATH DE number 2233860
• Logic Functions and Equations
• scientific article; zbMATH DE number 1179500
• scientific article; zbMATH DE number 5852793

Cited in

(4)

• scientific article; zbMATH DE number 1179500 (Why is no real title available?)
• An abstraction of Whitney's broken circuit theorem
• scientific article; zbMATH DE number 6405037 (Why is no real title available?)
• Logic Functions and Equations

This page was built for publication: EAGLE-STARTING AID. Technical informatics. Logical funcions -- Boolean models

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