عنوان
پدید آورنده
موضوع
رده
QA 75.5 .L64 2009
QA
75
.
5
.
L64
2009
کتابخانه
محل استقرار
electronic
LFCS 9002)9002 :Deerfield Beach, Fla.(
Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
Berlin ; New York
Springer
2009
xi, 467 p. :ill. ;24 cm
Lecture notes in computer science,2030-3479 ;7045
ISBN: 9783540926 3540926860
Includes bibliographical references and index.
Sergei Artemov, Anil Nerode )eds.(
، Computer science Congresses
، Logic, Symbolic and mathematical Congresses
QA
75
.
5
.
L64
2009
AU
AU Artemov, S. N.
AU Nerode, Anil 1932-
SE Lecture notes in computer science ;5407
TI
