عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35R4 2015 E-Book ,
QA
76
.
9
.
M35R4
2015
E-Book
,
کتابخانه
محل استقرار
:9783319247038
13675
انگلیسی
Relational and Algebraic Methods in Computer Science
[electronic resources]
: 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28 – October 1, 2015 Proceedings
\ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
Cham
: Springer
, 2015
x, [395] p
Lecture Notes in Computer Science
; 9348
Index
Bibliography
Computer science -- Mathematics -- Congresses.
Algebraic logic -- Congresses.
Relation algebras -- Congresses.
علوم کامپیوتر -- ریاضیات -- کنگرهها
منطق جبری -- کنگره ها
QA
76
.
9
.
M35R4
2015
E-Book
,
Kahl, Wolfram
Winter, Michael
ونیتر، مایکل
Oliveira, José N
RAMiCS (Conference) (15th : 2015 : Braga, Portugal)
ایران
20170209
9783319247038.pdf
p
BL
279177
1
a
Y
