The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff. (Lecture notes in mathematics ; 718)

The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.

(Lecture notes in mathematics ; 718)

Notes on use

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

Material Type: 図書
ISBN: 0387095012
Title: The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.
Series Title: Lecture notes in mathematics ; 718
Title Heading: Lecture notes in mathematics (Springer-Verlag) ; 718.
Author Heading: Ferrante, Jeanne, 1949-
Rackoff, Charles W., 1948-
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1979.
Publication Date (W3CDTF): 1979
Extent: x, 243 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Predicate calculus.
Computational complexity.
LCC: QA3
QA9.35
DDC: 510/.8 s
511/.3
NDLC: MA41
Note (General): Includes index.
Note (Bibliography): Bibliography: p. [234]-238.
Holding library: 国立国会図書館
Call No.: MA41-148
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006184254
http://id.ndl.go.jp/bib/000006184254
LC Control Number: 79015338 //r85
https://lccn.loc.gov/79015338
Bibliographic Record Category (NDL): 211