9783642152054
IR
E-4834
انگلیسی
IR
Computer science logic
[Book]
:24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings
/ Anuj Dawar, Helmut Veith (eds.
Berlin
: Springer
, 2010.
xiv, 548 p., ill.
(Lecture notes in computer science,0302-9743
(LNCS sublibrary. SL 1, Theoretical computer science and general issues.)
; 6247.Advanced research in computing and software science.)
Title from PDF t.p. (SpringerLink, viewed Aug. 18, 2010)
"In 2010, CSL and the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) were federated and organized in parallel at the same place"--Pref.
Print
Includes bibliographical references and index.
Lecture notes in computer science ;6247.0302-9743
Lecture notes in computer science.Advanced research in computing and software science
LNCS sublibrary.SL 1Theoretical computer science and general issues
CSL 2010
Computer logic, Congresses
QA76
.
9
.
L63
2010
Dawar, Anuj
Veith, Helmut
European Association for Computer Science Logic.Conference(19th :2010 :Brno, Czech Republic)
Symposium on Mathematical Foundations of Computer Science (1972- )(35th :2010 :Brno, Czech Republic)
Workshop on Computer Science Logic(24th :2010 :Brno, Czech Republic)
ایران
old catalog
p
BL
1
a
Y
