Handbook of Automated Reasoning ( Volume 1 )

Publication series ：Volume 1

Author： Robinson   Alan J. A.;Voronkov   Andrei  

Publisher： Elsevier Science‎

Publication year： 2001

E-ISBN: 9780080532790

P-ISBN(Paperback): 9780444508133

P-ISBN(Hardback):  9780444508133

Subject： TP181 automatic reasoning, machine learning

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

Handbook of Automated Reasoning

Chapter

Front Cover

pp.：  1 – 4

Handbook of Automated Reasoning, Volume II

pp.：  4 – 5

Copyright Page

pp.：  5 – 6

Preface

pp.：  6 – 10

Contents

pp.：  10 – 28

Part V: Higher-order logic and logical frameworks

pp.：  28 – 304

Part VI: Nonclassical logics

pp.：  304 – 644

Part VII: Decidable classes and model building

pp.：  644 – 916

Part VIII: Implementation

pp.：  916 – 1188

The users who browse this book also browse


No browse record.