عنوان
پدید آورنده
موضوع
رده
QA,267,.L624,2008
QA
,
267
,.
L624
,
2008
کتابخانه
محل استقرار
9789053565766
IR
ebook51236
انگلیسی
IR
Logic and automata
[Electronic Resource]
:history and perspectives
/ edited by Jeorg Flum, Erich Greadel, Thomas Wilke
[Amsterdam]
: Amsterdam University Press,
, c2008.
736 p.
: ill. ; 24 cm.
(Texts in logic and games
; v. 2)
" ... occasion of the 60th birthday of Wolfgang Thomas to present a tour d'horizon on automata theory and logic"--P. [4] of cover.
e
Includes bibliographical references.
Machine theory.
Logic, Symbolic and mathematical.
Computer science--Mathematics
Computational complexity.
QA
,
267
,.
L624
,
2008
Flum, Jeorg
Greadel, Erich� 1958
Wilke, Thomas� 1965
ایران
QA,267,.L624,2008
9789053565766.pdf
0
0
0
old catalog
e
BL
1
a
Y
