عنوان
پدید آورنده
موضوع
رده
QA75.5 .L43 2013
QA75
.
5
.
L43
2013
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642357229 (electronic bk.)
(Number (ISBN
9783642357220 (electronic bk.)
Erroneous ISBN
9783642357213
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434935
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.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2013
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource
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 ;
GENERAL NOTES
Text of Note
Includes author index
Text of Note
International conference proceedings
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
LFCS 2013
TOPICAL NAME USED AS SUBJECT
Computer logic, Congresses
Computer science, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA75
.
5
Class number
QA75
.
5
Book number
.
L43
2013
Book number
.
L43
2013
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Artemov, S. N
Nerode, Anil,1932-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
LFCS 2013(2013 :, San Diego, Calif.)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20130304114718.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
