, Volume 24, Issue 1, pp 11-13
Date: 05 Feb 2010

Current Trends in Automated Deduction

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Automated deduction is one of the key areas in artificial intelligence. In this short article we give an overview on some of the main current research topics in automated deduction.