Overview

automated reasoning


Show Summary Details

Quick Reference

The use of computer programs that perform inference processes. see theorem proving, production rule systems.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.