Filter your search by...
- Division of Behavioral and Social Sciences and Education
- Division on Earth and Life Studies
- Division on Engineering and Physical Sciences
- Gulf Research Program
- Health and Medicine Division
- National Academy of Engineering
- National Academy of Medicine
- National Academy of Sciences
- Policy and Global Affairs
- Transportation Research Board
- Agriculture
- Behavioral and Social Sciences
- Biography and Autobiography
- Biology and Life Sciences
- Computers and Information Technology
- Conflict and Security Issues
- Earth Sciences
- Education
- Energy and Energy Conservation
- Engineering and Technology
- Environment and Environmental Studies
- Air Quality
- Climate Change
- Ecology and Ecosystems
- Environmental Health and Safety
- Policy, Reviews and Evaluations
- Pollutants and Toxics
- Pollution Prevention
- Radiation
- Sustainable Development
- Waste Disposal and Clean Up
- Water Quality
- Food and Nutrition
- Health and Medicine
- Industry and Labor
- Math, Chemistry, and Physics
- Policy for Science and Technology
- Space and Aeronautics
- Surveys and Statistics
- Transportation and Infrastructure
- Adolescent Health and Well-Being
- Advising the U.S. Global Change Research Program
- Airborne Chemical Exposure
- American Geophysical Union
- Arctic
- BCYF 25th Anniversary
- Biosecurity
- Cancers and Children
- Celebrating the Eclipse: The Sun and Our Space Environment
- Climate Adaptation
- Climate Change
- Clinical Trial Data Sharing
- Competitiveness
- Coronavirus Resources
- Cosmos
- CPNAS Exhibition Catalog Collection
- Crisis Standards of Care
- Critical Issues in Transportation
- Cybersecurity
- Dietary Reference Intakes
- Diversity and Inclusion in STEMM
- Diversity, Equity, and Inclusion
- Emergency Preparedness / Disaster Management
- Energy
- Environmental Health Matters Initiative
- Ethical Foundations of Science
- Everglades
- Evolution
- Flood Resilience: Preparedness and Recovery
- Frontiers of Engineering
- Genomics
- Health Literacy
- Heart Health
- Higher Education
- Highway Planning
- Immigration
- Infectious Disease
- Informal Learning
- International Cooperation to Reduce Global Threats
- Laboratory Safety
- Law and Justice
- Mathematics
- Next Generation Science Standards
- Nutrient Requirements of Animals
- Obesity Prevention
- Oil Spill Prevention and Response and Deepwater Horizon
- Our Most Downloaded 2021 Publications
- Our Most Downloaded 2022 Publications
- Our Planet, Our Future: Nobel Prize Summit Reading List
- Pain Management and Opioid Use Disorder
- Pandemic and Seasonal Influenza Vaccine Preparedness
- Planetary Protection
- Pollinator Conservation
- Quality Chasm
- Reproducibility
- Safe Bridge Design and Construction
- Science Communication
- Social Capital and Social Connectedness
- Space Exploration and Weather
- Stem Cells
- STEM Education
- Supply Chains
- Teaching Math
- The Vital Role of Nursing in Health Care
- Tobacco
- Transportation and Sustainability
- Transportation Emergency Resources
- Urban Planning and Development
- Vaccines
- Veterans Health
- Water Infrastructure
- Wildfires: Preparation, Management, and Health Effects
- Women's Adventures in Science
Sort Results
Search Tools
Download Citations
1 - 4 of 4 resultsSearch results for "automated reasoning"
Filters:
Environment and Environmental Studies
Environment and Environmental Studies
×
Review of Systemization of the Tooele Chemical Agent Disposal Facility (1996)
National Research Council; Division on Engineering and Physical Sciences; Commission on Engineering and Technical Systems; Committee on Review and Evaluation of the Army Chemical Stockpile Disposal Program
Environment and Environmental Studies
Evaluation of the Army's Draft Assessment Criteria to Aid in the Selection of Alternative Technologies for Chemical Demilitarization (1995)
Division on Engineering and Physical Sciences; Commission on Engineering and Technical Systems
Environment and Environmental Studies
Consensus Study Report
A Framework to Guide Selection of Chemical Alternatives (2014)
National Research Council; Division on Earth and Life Studies; Board on Chemical Sciences and Technology; Board on Environmental Studies and Toxicology; Committee on the Design and Evaluation of Safer Chemical Substitutions: A Framework to Inform Government and Industry Decisions
Environment and Environmental Studies | Math, Chemistry, and Physics
Consensus Study Report
Lessons Learned from the Fukushima Nuclear Accident for Improving Safety of U.S. Nuclear Plants (2014)
National Research Council; Division on Earth and Life Studies; Nuclear and Radiation Studies Board; Committee on Lessons Learned from the Fukushima Nuclear Accident for Improving Safety and Security of U.S. Nuclear Plants
Conflict and Security Issues | Energy and Energy Conservation | Environment and Environmental Studies