عنوان
پدید آورنده
موضوع
رده
QA,75.5,.L44,2007
QA
,
75
.
5
,.
L44
,
2007
کتابخانه
محل استقرار
(pbk.)
9783540727323
IR
ebook48521
انگلیسی
IR
Logical foundations of computer science
[Electronic Resource]
:international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
/ Sergei N. Artemov, Anil Nerode (eds.)
Berlin ;New York
: Springer,
, c2007.
xi, 511 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 4514)
e
Includes bibliographical references and index.
Lecture notes in computer science ;4514.0302-9743
LFCS 2007
Computer science--Congresses
Logic, Symbolic and mathematical--Congresses
Programa?c?ao laogica (congressos)--larpcal
Ci?encia da computa?c?ao (congressos)--larpcal
QA
,
75
.
5
,.
L44
,
2007
Artemov, S. N
Nerode, Anil� 1932
LFCS 2007(2007 :New York, N.Y.)
ایران
QA,75.5,.L44,2007
9783540727323.pdf
0
0
old catalog
e
BL
1
a
Y
