Determination of symmetric VL1 formulas
Subtitle: algorithm and program SYM4
By: by Gerald Martin Jensen.
Series: Report] - UIUCDCS ; R-75-774
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1975
Place of publication: Urbana
Language: eng
Number of pages: 59
Subjects: SYM4.; VL1 system.; Symmetric functions.