A computational logic / Robert S. Boyer and J. Strother Moore.
A computational logic / Robert S. Boyer and J. Strother Moore.
About this item
Full title
A computational logic / Robert S. Boyer and J. Strother Moore.
Author / Creator
Publisher
New York : Academic Press, c1979.
Call Numbers
T0255905
Record Identifier
74VvXkZZOJed
MMS ID
991011088589702626
Language
English
Formats
Physical Description
Physical content
xiv, 397 p. ; 24 cm.
Publication information
Publisher
New York : Academic Press, c1979.
Series
Place of Publication
New York (State)
Date Published
c1979.
Subjects
More information
Alternative Titles
Full title
A computational logic / Robert S. Boyer and J. Strother Moore.
Authors, Artists and Contributors
Author / Creator
Author / Artists
Notes
General note
ACM monograph series.
Includes index.
Bibliography: p. 385-387.
Transferred from: N519.4/9.
Contextual Information
Date Copyright
c1979.
Identifiers
Primary Identifiers
Call Numbers
T0255905
Record Identifier
74VvXkZZOJed
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VvXkZZOJed
Other Identifiers
ISBN
0121229505
9780121229504
DDC
519.4
MMS ID
991011088589702626
How to access this item
1 of 0Request as a Library member
