(computer science) A computer program that attempts to deduce mathematical consequences from a set of axioms and to select those consequences that will be significant.
Join the WikiAnswers Q&A community. Post a question or answer questions about "consequence finding program" at WikiAnswers.
Copyrights:
 |
 | Sci-Tech Dictionary. McGraw-Hill Dictionary of Scientific and Technical Terms. Copyright © 2003, 1994, 1989, 1984, 1978, 1976, 1974 by McGraw-Hill Companies, Inc. All rights reserved. Read more |
Search for answers directly from your browser with the FREE Answers.com Toolbar!
Click here to download now. 
Get Answers your way! Check out all our free tools and products.
