A computational logic / Robert S. Boyer and J Strother Moore. (ACM monograph series)

A computational logic / Robert S. Boyer and J Strother Moore.

(ACM monograph series)

Call No. (NDL): M159-123
Bibliographic ID of National Diet Library: 000006139476

Material type: 図書

Author: Boyer, Robert S.ほか

Publisher: Academic Press

Publication date: c1979.

Material Format: Paper

Capacity, size, etc.: xiv, 397 p. ; 24 cm.

NDC: -

Notes on use

Note (General)：: Includes index.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 0121229505
Title: A computational logic / Robert S. Boyer and J Strother Moore.
Series Title: ACM monograph series
Author Heading: Boyer, Robert S.
Moore, J Strother, 1947-
Publication, Distribution, etc.: New York : Academic Press
Publication Date: c1979.
Publication Date (W3CDTF): 1979
Extent: xiv, 397 p. ; 24 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Automatic theorem proving.
LCC: QA76.9.A96
DDC: 519.4
NDLC: M159
Note (General): Includes index.
Note (Bibliography): Bibliography: p. 385-387.
Holding library: 国立国会図書館
Call No.: M159-123
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006139476
http://id.ndl.go.jp/bib/000006139476
LC Control Number: 79051693 //r943
https://lccn.loc.gov/79051693
Bibliographic Record Category (NDL): 211