Skip to main content

Search results for "automated reasoning"

Filters: 2000 2000 ×
Viewing 1 - 20 of 105 results by relevance
Consensus Study Report

Grading the Nation's Report Card: Research from the Evaluation of NAEP  (2000)

Consensus Study Report

How People Learn: Brain, Mind, Experience, and School: Expanded Edition  (2000)

Consensus Study Report

The Aging Mind: Opportunities in Cognitive Research  (2000)

Consensus Study Report

Network-Centric Naval Forces: A Transition Strategy for Enhancing Operational Capabilities  (2000)

Proceedings

Bioinformatics: Converting Data to Knowledge  (2000)

Consensus Study Report

Making IT Better: Expanding Information Technology Research to Meet Society's Needs  (2000)

Consensus Study Report

An Assessment of the National Institute of Standards and Technology Measurement and Standards Laboratories: Fiscal Year 2000  (2000)

Consensus Study Report

Review of the U.S. Geological Survey's Volcano Hazards Program  (2000)

Consensus Study Report

Seeing into the Earth: Noninvasive Characterization of the Shallow Subsurface for Environmental and Engineering Applications  (2000)

Consensus Study Report

Inquiry and the National Science Education Standards: A Guide for Teaching and Learning  (2000)

Proceedings

The Interface of Three Areas of Computer Science with the Mathematical Sciences: Summary of a Workshop  (2000)

Consensus Study Report

Networking Health: Prescriptions for the Internet  (2000)

Consensus Study Report

Issues in the Integration of Research and Operational Satellite Systems for Climate Research: Part II. Implementation  (2000)

50 Years of Ocean Discovery: National Science Foundation 1950-2000  (2000)

Consensus Study Report

Ending Neglect: The Elimination of Tuberculosis in the United States  (2000)

Consensus Study Report

Uninhabited Air Vehicles: Enabling Science for Military Systems  (2000)

Consensus Study Report

Medicare Laboratory Payment Policy: Now and in the Future  (2000)

Swords into Market Shares: Technology, Economics, and Security in the New Russia  (2000)

Consensus Study Report

Design in the New Millennium: Advanced Engineering Environments: Phase 2  (2000)