عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642357210 (paperback)
(Number (ISBN
9783642357213 (paperback)
Erroneous ISBN
9783642357220 (ebook)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434936
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logical foundations of computer science :
General Material Designation
[Book]
Other Title Information
International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings /
First Statement of Responsibility
Sergei Artemov, Anil Nerode (eds.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 414 pages :
Other Physical Details
illustrations (black and white) ;
Dimensions
24 cm
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
7734
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
PARALLEL TITLE PROPER
Parallel Title
LFCS 2013
TOPICAL NAME USED AS SUBJECT
Computer logic, Congresses
Computer science, Congresses
(SUBJECT CATEGORY (Provisional
QA
DEWEY DECIMAL CLASSIFICATION
Number
004
.
015113
Edition
23
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Artemov, S. N.
Nerode, Anil,1932-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
LFCS (Symposium)(2013 :, San Diego, Calif.)
ORIGINATING SOURCE
Date of Transaction
20141129003120.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
