Abstract: This Standard represents the progress made to date in evolving graphical symbols for use in preparation of logic diagrams for systems of binary-state devices. The Standard contains two ...
This is a preview. Log in through your library . Abstract Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback