عنوان
پدید آورنده
موضوع
رده
QA76 .T46 2015 E-Book ,
QA76
.
T46
2015
E-Book
,
کتابخانه
محل استقرار
:9783319251493
13558
انگلیسی
Theoretical Aspects of Computing – ICTAC 2015
[electronic resources]
: 12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings
\ edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
Cham
: Springer
, 2015
xxiv, 620 p.
:ill.
Lecture Notes in Computer Science
; 9399
Bibliography
Index
Computer science -- Congresses.
Computer logic.
علوم کامپیوتر -- کنگرهها
منطق کامپیوتری
QA76
.
T46
2015
E-Book
,
Leucker, Martin
Rueda, Camilo
Valencia, Frank D.
ICTAC (Colloquium) (12th : 2015 : Cali, Colombia)
ایران
20170216
9783319251493.pdf
p
BL
279177
1
a
N
