عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 2015 E-Book ,
QA
76
.
9
.
A96
2015
E-Book
,
کتابخانه
محل استقرار
:9783319243115
13685
انگلیسی
Automated Reasoning with Analytic Tableaux and Related Methods
[electronic resources]
: 24th International Conference, TABLEAUX 2015 Wrocław, Poland, September 21–24, 2015 Proceedings
\ Hans De Nivelle (Ed.)
Cham
: Springer
, 2015
xi, [355] p
Lecture Notes in Artificial Intelligence
; 9323
Index
Bibliography
Automatic theorem proving -- Congresses.
Programming Techniques.
Software engineering.
مهندسی نرم افزار
QA
76
.
9
.
A96
2015
E-Book
,
Nivelle, Hans
TABLEAUX (Conference) (24th : 2015 : Wrocław, Poland)
ایران
20170209
9783319243115.pdf
p
BL
279177
1
a
Y
