Automated Theorem Proving: A Logical Basis

By

D.W. Loveland

Please note that the standard 14-day cancellation right terminates upon receiving access to the e-book.

Product description

Automated Theorem Proving: A Logical Basis

Select variation, to see accessibility information

Details

ISBN13 9781483296777
Released 2016
Publisher North Holland
Format Elektronisk medie
Language English