Mathematical Foundations and Computational Methods for a Digital Logic Machine
From MaRDI portal
Publication:5378624
DOI10.1287/OPRE.2.3.249zbMath1415.03038OpenAlexW2032960874MaRDI QIDQ5378624
Publication date: 3 June 2019
Published in: Journal of the Operations Research Society of America (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1287/opre.2.3.249
Logic in computer science (03B70) Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05)
This page was built for publication: Mathematical Foundations and Computational Methods for a Digital Logic Machine