8th International Conference on Automated Deduction: Oxford, England, July 27- A

USD 80.39 USD

SKU: hds3rR3L

GTIN: 9783540167808

Condition: Brand New

Connections and higher-order logic. - A new formula for the execution of categorical combinators. - Proof by induction using test sets. - A theory of diagnosis from first principles. - Modal theorem proving.

Tags: 8.27 9783540167808

Categories: Textbooks, Education & Reference

Specifications

ISBN-13	9783540167808
ISBN	9783540167808

What stands out about this new edition is the revised table of contents.

Related Products

Mark 8:27-16:20, Volume 34B (34) (Word Biblical Commentary), Evans, Craig A., 97

39.77 USD

Comic Form to Teach Mathematics, Physics, and Chemistry Knowledge, Designed to S

59.99 USD

Mark 8:27-16:20, Hardcover by Evans, Craig A.; Metzger, Bruce M. (EDT); Hubba…

63.74 USD

Chi dite che io sia ?: Esplorare Marco 8:27-33 by Giovanni de Ficchy Paperback B

33.45 USD

Mark 8:27-16:20, Hardcover by Evans, Craig A.; Metzger, Bruce M. (EDT); Hubba…

63.73 USD

Nuremberg Trials, Part 8: 27.2.1946 to 11.3.46; Count 4 & Case for Göring

40.10 USD

Communal Solitude: The Carthusian Lay Brethren in Great Britain & Ireland, 1178-

52.90 USD

Mark 8:27-16:20, Vol. 34B (34) (Word Biblical Commentary) by Evans

59.99 USD

Papers Across the Curriculum

21.63 USD

Oral Pathology for the Dental – Hardcover, by Ibsen RDH MS – Acceptable e

41.60 USD