Normal view
MARC view
Algebraic Simplification (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)746432: Molier, Bernhard 783305, Formal Program Construction by Trans Formations Computer Aided, Intuition Guided Programming