Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the N
The bibliography contains 186 annotated references concerning computer-aided logical processes. The references include all research dealing specifically with th