A computational logic

Saved in:
Bibliographic Details
Main Authors: Boyer Robert S (Robert S. Boyer and J Strother Moore.)
Group Author: Moore J. Strother 1947- (joint author.)
Published: Academic Press,
Publisher Address: New York
Publication Dates: c1979.
Literature type: Book
Language: English
Series: ACM monograph series
Subjects:
Carrier Form: xiv, 397 p.: ; 24 cm.
ISBN: 0121229505
Index Number: TP311
CLC: TP311
Call Number: TP311/B791/
Contents: Includes index.
Bibliography: p. 385-387.