عنوان
پدید آورنده
موضوع
رده
QA75.5 .L43 2013
QA75
.
5
.
L43
2013
کتابخانه
محل استقرار
3642357229 (electronic bk.)
9783642357220 (electronic bk.)
9783642357213
b434935
Logical foundations of computer science
[Book]
International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Sergei Artemov, Anil Nerode (eds.)
New York :
Springer,
c2013
1 online resource
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues
7734
0302-9743 ;
Includes author index
International conference proceedings
OhioLINK electronic book center (Online)
SpringerLink
LFCS 2013
Computer logic, Congresses
Computer science, Congresses
004
23
QA75
.
5
QA75
.
5
.
L43
2013
.
L43
2013
Artemov, S. N
Nerode, Anil,1932-
LFCS 2013(2013 :, San Diego, Calif.)
Ohio Library and Information Network
20130304114718.0
مطالعه متن کتاب [Book]
Y
