Skip to main content

Search results for "automated reasoning"

Filters: Math, Chemistry, and Physics Math, Chemistry, and Physics ×
Viewing 1 - 5 of 5 results by relevance
Consensus Study Report

A Framework to Guide Selection of Chemical Alternatives  (2014)

Consensus Study Report

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

Proceedings

Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop  (2023)

Proceedings

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

Consensus Study Report

Automated Research Workflows for Accelerated Discovery: Closing the Knowledge Discovery Loop  (2022)