Skip to main content

Search results for "automated reasoning"

Filters: 1998 1998 ×
Viewing 1 - 2 of 2 results by relevance

Statistics, Testing, and Defense Acquisition: New Approaches and Methodological Improvements  (1998)

Maintaining U.S. Leadership in Aeronautics: Breakthrough Technologies to Meet Future Air and Space Transportation Needs and Goals  (1998)