Research Catalog

A computational logic handbook

Title
A computational logic handbook / Robert S. Boyer, J Strother Moore.
Author
Boyer, Robert S.
Publication
Boston : Academic Press, c1988.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 89-1457Offsite

Holdings

Details

Additional Authors
Moore, J Strother, 1947-
Description
xvi, 408 p.; 24 cm.
Series Statement
Perspectives in computing ; vol. 23
Uniform Title
Perspectives in computing (Boston, Mass.) ; vol. 23.
Subject
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. 397-399.
Call Number
JSE 89-1457
ISBN
0121229521
LCCN
88022175
OCLC
  • 18191851
  • 18191851
Author
Boyer, Robert S.
Title
A computational logic handbook / Robert S. Boyer, J Strother Moore.
Imprint
Boston : Academic Press, c1988.
Series
Perspectives in computing ; vol. 23
Perspectives in computing (Boston, Mass.) ; vol. 23.
Bibliography
Bibliography: p. 397-399.
Added Author
Moore, J Strother, 1947-
Research Call Number
JSE 89-1457
View in Legacy Catalog