عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A96 E-Book ,
QA
76
.
9
.
A96
E-Book
,
کتابخانه
محل استقرار
:9783319221014
13703
انگلیسی
Interactive Theorem Proving
[electronic resources]
: 6th International Conference, ITP 2015 Nanjing, China, August 24–27, 2015 Proceedings
\ Christian Urban, Xingyuan Zhang (eds.)
Cham
: Springer
, 2015
1 online resource (xi, 469 p.)
:ill.
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues
; 9236
International conference proceedings
Index
Logic, symbolic and mathematical
منطق ریاضی
-- Congresses
-- کنگرهها
a03
a03
QA
76
.
9
.
A96
E-Book
,
Urban, Christian, editor
Zhang, Xingyuan, editor.
ITP (Conference) (6th : 2015 : Nanjing, China)
ایران
20170209
9783319221014.pdf
p
BL
279177
1
a
Y
منطق ریاضی -- کنگرهها
Logic, symbolic and mathematical -- Congresses
