عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 N47 1997
QA76
.
9
.
M35
N47
1997
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387948937
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic for applications /
General Material Designation
[Book]
First Statement of Responsibility
Anil Nerode, Richard A. Shore
EDITION STATEMENT
Edition Statement
2nd ed
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 456 pages :
Other Physical Details
illustrations ;
Dimensions
25 cm
SERIES
Series Title
Graduate texts in computer science
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages [409]-438) and indexes
TOPICAL NAME USED AS SUBJECT
Computer science-- Mathematics
Logic, Symbolic and mathematical
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/01/5113
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Book number
N47
1997
PERSONAL NAME - PRIMARY RESPONSIBILITY
Nerode, Anil,1932-
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Shore, Richard A.,1946-
ORIGINATING SOURCE
Date of Transaction
19970318090955.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
