000
00283pam a2200109a 44500
082
_a
TR
_b
AFCRL-65-640
100
_a
W. E. Samson
245
1
_a
On the theory of boolean formulas
_b
allowable replacements for subformulas
260
_a
_b
_c
700
_a
L. Calabi
997
_a
TR5610 C
999
_c
405577
_d
405577