Print this page
A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems

A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems

Paperback

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: 9781586031121
Publisher: Ios Press Inc
Imprint: Ios Press Inc
Language: English
Weight: 204g
Height: 203mm
Width: 146mm
Spine width: 6mm

We recommend

$6.51off

The Pragmatic Programmer

David Thomas, Andrew...

Hardback
Published 02 Dec 2019

Save $6.51

  • RRP $48.56
  • $42.05
Add to basket

$7.39off

Julia as a Second Language

Erik Engheim

Paperback
Published 12 Apr 2023

Save $7.39

  • RRP $49.84
  • $42.45
Add to basket

$7.76off

Functional Design

Robert C. Martin

Paperback
Published 11 Oct 2023

Save $7.76

  • RRP $48.56
  • $40.80
Add to basket

$5.39off

Beautiful C++

John Davidson, Kate ...

Paperback
Published 19 Jan 2022

Save $5.39

  • RRP $43.45
  • $38.06
Add to basket

$7.33off

Design for Developers

Stephanie Stimac

Hardback
Published 24 Nov 2023

Save $7.33

  • RRP $49.84
  • $42.51
Add to basket

$9.63off

The Programmer's Brain

Felienne Hermans

Paperback
Published 15 Dec 2021

Save $9.63

  • RRP $51.12
  • $41.49
Add to basket

$7.11off

Clean Code

Robert C. Martin

Paperback
Published 21 Aug 2008

Save $7.11

  • RRP $49.84
  • $42.73
Add to basket
Learning to Program in Python

P. M. Heathcote

Paperback
Published 01 Jun 2017

  • $20.35
Add to basket

$0.19off

C Programming

K. N. King

Paperback
Published 16 May 2008

Save $0.19

  • RRP $74.12
  • $73.93
Add to basket

$3.08off

Clean Architecture

Robert C. Martin

Paperback
Published 20 Sep 2017

Save $3.08

  • RRP $35.78
  • $32.70
Add to basket