عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
:9783642152047
30577
انگلیسی
Computer Science Logic
[electronic resources]
: 24th InternationalWorkshop, CSL 2010 19th Annual Conference of the EACSL Brno, Czech Republic, August 23-27, 2010: Proceedings
Anuj Dawar, Helmut Veith, (Eds.)
Berlin
: Springer
, 2010
Lecture Notes in Computer Science
; 6247
Index
Bibliography
Computer logic -- Congresses
منطق کامپیوتری -- کنگرهها
E-Book
,
Dawar, Anuj
Veith, Helmut
CSL 2010 (2010 : Brno, Czech Republic)
ایران
20190503
9783642152047.pdf
BL
279177
1
a
N
