عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 E97 2010eb
QA76
.
9
.
M35
E97
2010eb
کتابخانه
محل استقرار
3642314678 (electronic bk.)
9783642314674 (electronic bk.)
364231466X
9783642314667
b434689
New directions in logic, language and computation
[Book]
ESSLLI 2010 and ESSLLI 2011 Student sessions : selected papers /
Daniel Lassiter, Marija Slavkovik (eds.)
New York :
Springer,
c2012
1 online resource (viii, 233 p.) :
ill
FoLLI publications on logic, language and information
LNCS sublibrary. SL 1, Theoretical computer science and general issues
7415.
1611-3349 ;
"This collection contains revised and expanded version of papers presented at the Student Sessions of the 22nd and 23rd ESSLLI, held respectively in 2010 in Copenhagen, Denmark, and in 2011 in Ljubljana, Slovenia"--Pref
Includes bibliographical references and index
New directions in logic, language and computation.
OhioLINK electronic book center (Online)
SpringerLink
ESSLLI 2010
ESSLLI 2011
Computer logic, Congresses
Computer science-- Mathematics, Congresses
005
.
101/5113
23
QA76
.
9
.
M35
QA76
.
9
.
M35
E97
2010eb
E97
2010eb
Lassiter, Daniel
Slavkovik, Marija
European Summer School in Logic, Language, and Information(22nd :2010 :, Copenhagen, Denmark)
European Summer School in Logic, Language, and Information(23rd :2011 :, Ljubljana, Slovenia)
20130201101959.0
مطالعه متن کتاب [Book]
Y
