Skip to main content

Search results for "automated reasoning"

Filters: other other ×
Viewing 1 - 16 of 16 results by relevance

Ontologies in the Behavioral Sciences: Accelerating Research and the Spread of Knowledge: Digest Version  (2022)

Advanced Engineering Environments: Achieving the Vision, Phase 1  (1999)

Evaluation of the Army's Draft Assessment Criteria to Aid in the Selection of Alternative Technologies for Chemical Demilitarization  (1995)

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

Computing the Future: A Broader Agenda for Computer Science and Engineering  (1992)

Assessing Evaluation Studies: The Case of Bilingual Education Strategies  (1992)

Review of Systemization of the Tooele Chemical Agent Disposal Facility  (1996)

The New Engineering Research Centers: Purposes, Goals, and Expectations  (1986)

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

Memorial Tributes: Volume 20  (2016)

Memorial Tributes: Volume 24  (2022)

Implications of Connected and Automated Driving Systems, Vol. 3: Legal Modification Prioritization and Harmonization Analysis  (2018)

Implementation of Life-Cycle Planning Analysis in a Transportation Asset Management Framework  (2023)

NAM Special Publication

Artificial Intelligence in Health Care: The Hope, the Hype, the Promise, the Peril  (2019)