Print this page
Automated Theorem-Proving in Non-Classical Logics

Automated Theorem-Proving in Non-Classical Logics - Research Notes in Theoretical Computer Science

Book (01 Jan 1988)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

Book information

ISBN: 9780470210062
Publisher: Pitman
Imprint: Pitman
Pub date:
DEWEY: 511.3
DEWEY edition: 19
Language: English
Number of pages: 154

We recommend

$0.81off

Artificial Intelligence

Melanie Mitchell

Paperback
Published 24 Sep 2020

Save $0.81

  • RRP $14.11
  • $13.30
Add to basket

$0.91off

The Road to Conscious Machines

Michael J. Wooldridge

Paperback
Published 04 Mar 2021

Save $0.91

  • RRP $14.11
  • $13.20
Add to basket

$1.35off

Artificial Intelligence

Matthew Burgess

Paperback
Published 25 Mar 2021

Save $1.35

  • RRP $12.83
  • $11.48
Add to basket

$1.65off

Our Final Invention

James Barrat

Paperback
Published 20 Jul 2023

Save $1.65

  • RRP $14.11
  • $12.46
Add to basket

$8.67off

Quick Start Guide to Large Language Models

Sinan Ozdemir

Paperback
Published 03 Oct 2023

Save $8.67

  • RRP $48.78
  • $40.11
Add to basket

$2.37off

Fieldbus and Networking in Process Automation

Sunit Kumar Sen

Paperback
Published 25 Sep 2023

Save $2.37

  • RRP $59.05
  • $56.68
Add to basket

$2.25off

The Age of AI

Henry Kissinger, Eri...

Paperback
Published 04 Aug 2022

Save $2.25

  • RRP $14.11
  • $11.86
Add to basket

$2.31off

Futureproof

Kevin Roose

Paperback
Published 03 Feb 2022

Save $2.31

  • RRP $14.11
  • $11.80
Add to basket

$5.70off

Machines That Think

New Scientist (Firm)...

Paperback
Published 17 Mar 2022

Save $5.70

  • RRP $14.11
  • $8.41
Add to basket
Superintelligence

Nick Bostrom

Paperback
Published 14 Apr 2016

  • $14.63
Add to basket