عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .L63 F54 2015 E-Book ,
QA
76
.
9
.
L63
F54
2015
E-Book
,
کتابخانه
محل استقرار
:9783319235332
13716
انگلیسی
Fields of Logic and Computation II
[electronic resources]
: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
\ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Cham
: Springer
, 2015
1 online resource (x, 319 pages)
:ill.
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering
; 9300
Index
Bibliography
Software engineering
نرمافزار
-- Congresses
-- کنگرهها
-- مهندسی
a04
a04
Computer logic -- Congresses
Computer science -- Mathematics -- Congresses
منطق کامپیوتری -- کنگره ها
علوم کامپیوتر -- ریاضیات -- کنگرهها
QA
76
.
9
.
L63
F54
2015
E-Book
,
Gurevich, Yuri, honouree.
Beklemishev, Lev Dmitrievich, 1967- editor.
Blass, Andreas, 1947- editor.
Dershowitz, Nachum, editor.
Finkbeiner, Bernd, editor.
Schulte, Wolfram, editor.
Yurifest (Symposium) (2nd : 2015 : Berlin, Germany)
ایران
20170209
9783319235332.pdf
p
BL
279177
1
a
Y
