Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
<The> computational complexity of logical theories
پدید آورنده
/ [by] Jeanne Ferrante and Charles W. Rackoff
موضوع
رده
QA3
،.
L28
,
F47
کتابخانه
Central Library and Documents Center of Allameh Tabatabaei University
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
39
-
55420036
-
021
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
18900
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
computational complexity of logical theories
General Material Designation
[Book]
First Statement of Responsibility
/ [by] Jeanne Ferrante and Charles W. Rackoff
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Date of Publication, Distribution, etc.
, 1979.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 243 p.
Other Physical Details
: illus.
SERIES
Series Title
(Lecture notes in mathematics
Volume Designation
; 718)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography: p. 234 - 238.
TOPICAL NAME USED AS SUBJECT
Predicate calculus
Computational complexity
DEWEY DECIMAL CLASSIFICATION
Number
510
8
s
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA3
Book number
.
L28
,
F47
PERSONAL NAME - PRIMARY RESPONSIBILITY
Ferrante, Jeanne,1949-
PERSONAL NAME - SECONDARY RESPONSIBILITY
Rackoff, Charles W.,1948-joint author
Title، Series: Lecture notes in mathematics (Springer-Verlag) ;718
Title، Series: Lecture notes in mathematics (Springer-Verlag) ;718
ORIGINATING SOURCE
Country
ایران
Agency
Central Library and Documentation Center
old catalog
p
BL
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal