عنوان
پدید آورنده
موضوع
رده
QA 75.5 .L6 2015 E-Book ,
QA
75
.
5
.
L6
2015
E-Book
,
کتابخانه
محل استقرار
:9783319276823
13647
انگلیسی
Logical Foundations of Computer Science
[electronic resources]
: International Symposium, LFCS 2016 Deerfield Beach, FL, USA, January 4–7, 2016 Proceedings
\ Sergei Artemov , Anil Nerode (Eds.)
Switzerland
: Springer
, 2015
x,[407] p.
Lecture Notes in Computer Science
; 9537
Index
Bibliography
Computer science -- Congresses.
Computer logic -- Congresses.
علوم کامپیوتر -- کنگرهها
منطق کامپیوتری -- کنگره ها
QA
75
.
5
.
L6
2015
E-Book
,
Artemov, S. N.
Nerode, Anil, 1932-
LFCS (Symposium) (2016 : Deerfield Beach, Fla.)
ایران
20170209
9783319276823.pdf
p
BL
279177
1
a
Y
