Skip to main content

Search results for "automated reasoning"

Viewing 1 - 20 of 52 results by relevance

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

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

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

Consensus Study Report

Statistical Methods for Testing and Evaluating Defense Systems: Interim Report  (1995)

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

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

Consensus Study Report

Technology for the United States Navy and Marine Corps, 2000-2035: Becoming a 21st-Century Force: Volume 7: Undersea Warfare  (1997)

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)

Proceedings

Summary of a Workshop on Information Technology Research for Crisis Management  (1999)

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

Proceedings

A Review of the New Initiatives at the NASA Ames Research Center: Summary of a Workshop  (2001)

Consensus Study Report

Making the Nation Safer: The Role of Science and Technology in Countering Terrorism  (2002)

Consensus Study Report

Information Technology for Counterterrorism: Immediate Actions and Future Possibilities  (2003)

Consensus Study Report

Environmental Information for Naval Warfare  (2003)

Consensus Study Report

Review of NASA's Aerospace Technology Enterprise: An Assessment of NASA's Pioneering Revolutionary Technology Program  (2003)

Proceedings

Survey Automation: Report and Workshop Proceedings  (2003)

Consensus Study Report

The Polygraph and Lie Detection  (2003)

Proceedings

The Mathematical Sciences' Role in Homeland Security: Proceedings of a Workshop  (2004)

Consensus Study Report

Catalyzing Inquiry at the Interface of Computing and Biology  (2005)