Automated Theorem Proving: A Review

Sutcliffe, Geoff

Mar-15-2002–AI Magazine

logic & formal reasoning, management and information, theorem, (6 more...)

Mar-15-2002

Journals Web Page

Genre:
- Overview (0.40)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.72)