Filter your search by...
- Division of Behavioral and Social Sciences and Education
- Division on Earth and Life Studies
- Division on Engineering and Physical Sciences
- Aeronautics and Space Engineering Board
- Air Force Studies Board
- Army Research Laboratory Technical Assessment Board
- Board on Army Research and Development
- Board on Army Science and Technology
- Board on Assessment of National Institute of Standards and Technology Programs
- Board on Energy and Environmental Systems
- Board on Infrastructure and the Constructed Environment
- Board on Manufacturing and Engineering Design
- Board on Mathematical Sciences and Analytics
- Board on Physics and Astronomy
- Commission on Engineering and Technical Systems
- Commission on Physical Sciences, Mathematics, and Applications
- Committee on Applied and Theoretical Statistics
- Computer Science and Telecommunications Board
- Federal Facilities Council
- Intelligence Community Studies Board
- Laboratory Assessments Board
- National Materials Advisory Board
- National Materials and Manufacturing Board
- Naval Studies Board
- Space Studies Board
- 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
- 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"
Consensus Study Report
Catalyzing Inquiry at the Interface of Computing and Biology (2005)
National Research Council; Division on Engineering and Physical Sciences; Computer Science and Telecommunications Board; Committee on Frontiers at the Interface of Computing and Biology; John C. Wooley and Herbert S. Lin, Editors
Biology and Life Sciences | Computers and Information Technology | Math, Chemistry, and Physics | Surveys and Statistics
Proceedings
Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop (2023)
National Academies of Sciences, Engineering, and Medicine; Division on Engineering and Physical Sciences; Board on Mathematical Sciences and Analytics; Samantha Koretsky, Rapporteur
Computers and Information Technology | Math, Chemistry, and Physics
Proceedings
The Mathematical Sciences' Role in Homeland Security: Proceedings of a Workshop (2004)
National Research Council; Division on Engineering and Physical Sciences; Board on Mathematical Sciences and Their Applications
Computers and Information Technology | Math, Chemistry, and Physics | Surveys and Statistics
Consensus Study Report
Automated Research Workflows for Accelerated Discovery: Closing the Knowledge Discovery Loop (2022)
National Academies of Sciences, Engineering, and Medicine; Division on Engineering and Physical Sciences; Policy and Global Affairs; Board on Research Data and Information; Board on Mathematical Sciences and Analytics; Committee on Applied and Theoretical Statistics; Computer Science and Telecommunications Board; Committee on Realizing Opportunities for Advanced and Automated Workflows in Scientific Research
Computers and Information Technology | Math, Chemistry, and Physics | Policy for Science and Technology