Automated Deduction: Looking Ahead

Loveland, Donald W.

Mar-15-1999–AI Magazine

Automated Deduction: Looking Ahead

artificial intelligence, deduction, logic & formal reasoning, (3 more...)

Mar-15-1999

Journals Web Page

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