Automated Theorem Proving: A Review

Sutcliffe, Geoff

Mar-15-2002–AI Magazine

Automated Theorem Proving: A Review

artificial intelligence, logic & formal reasoning, theorem, (5 more...)

Mar-15-2002

Journals Web Page

Genre:
- Overview (0.84)

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