On the theory of boolean formulas: allowable replacements for subformulas /
Main Author: | |
---|---|
Corporate Authors: | , |
Format: | Government Document Book |
Language: | English |
Published: |
Bedford, Mass.,
Air Force Cambridge Research Laboratories, Office of Aerospace Research,
1965
|
Series: | Physical and mathematical sciences research papers ;
no. 129 |