This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm is based on a theory that may be developed into a general theory of logics. Appropriate applications of the algorithm and its underlying theory are given.

Product Details

Author:

James G Williams

Book Edition:

1991

Book Format:

Paperback

Country of Origin:

Date Published:

7 August 1991

Dimensions:

23.39 x 15.6 x 0.81 cm

ISBN-10:

3540543333

ISBN-13:

9783540543336

Language:

English

Location:

Berlin, Heidelberg

Pages:

136

Publisher:

Springer

Series:

Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence Lecture Notes in Biomathematics Lecture Notes in Computer Science / Lecture Notes in Artific

Weight:

217.72 gm

Description

Product Details

Related Categories