عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 2015 E-Book ,
QA
76
.
9
.
A96
2015
E-Book
,
کتابخانه
محل استقرار
:9783319214009
13601
انگلیسی
Automated Deduction – CADE-25
[electronic resources]
: 25th International Conference on Automated Deduction Berlin, Germany, August 1–7, 2015 Proceedings
\ Amy P. Felty , Aart Middeldorp (Eds.)
Cham
: Springer
, 2015
xxviii,640 p.
Lecture Notes in Artificial Intelligence
; 9195
Index
Bibliography
Automatic theorem proving -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
منطق ریاضی-- کنگرهها
QA
76
.
9
.
A96
2015
E-Book
,
Felty, Amy
Middeldorp, Aart, 1963-
International Conference on Automated Deduction (25th : 2015 : Berlin, Germany)
ایران
20170129
9783319214009.pdf
p
BL
279177
1
a
N
