عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.718
QA
3
.
L28
no
.
718
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
4240
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Ferrante, Jeanne
Title Proper by Another Author
9491-
Title Proper
The computational complexity of logical theories
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin; New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1979
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 243p.: ill
SERIES
Series Title
Lecture notes in mathematics; 817
GENERAL NOTES
Text of Note
Bibliography: p. )234( - 238
Text of Note
Includes index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
)by( Jeanne Ferrante )and( Charles W. Rackoff
TOPICAL NAME USED AS SUBJECT
Entry Element
، Predicate calculus
Entry Element
، Computational complexity
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
3
.
L28
no
.
718
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI Rackoff Charles W. 1948-
SE
SE
LOCATION AND CALL NUMBER
Call Number Suffix
CL
