作者: Peter Deussen
DOI: 10.1007/978-3-0348-4156-6_3
关键词:
摘要: Das Ubersetzungsprogramm ist eine Studie fur die Verwendung der sequentiellen Formelubersetzung [2], [4] zur Umformung algebraischer Ausdrucke in spezielle Normalform ; es wurde insbesondere Boolescher entworfen.