|
" New directions in logic, language and computation "
Daniel Lassiter, Marija Slavkovik (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605470
|
| Doc. No
|
:
|
b434689
|
| Main Entry
|
:
|
European Summer School in Logic, Language, and Information(22nd :2010 :, Copenhagen, Denmark)
|
| Title & Author
|
:
|
New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011 Student sessions : selected papers /\ Daniel Lassiter, Marija Slavkovik (eds.)
|
| Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, c2012
|
| Series Statement
|
:
|
Lecture notes in computer science,; 7415.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource (viii, 233 p.) :: ill
|
| ISBN
|
:
|
9783642314674 (electronic bk.)
|
|
|
:
|
: 3642314678 (electronic bk.)
|
|
|
:
|
9783642314667
|
|
|
:
|
364231466X
|
| Notes
|
:
|
"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
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Computer logic, Congresses
|
| Subject
|
:
|
Computer science-- Mathematics, Congresses
|
| Dewey Classification
|
:
|
005.101/5113
|
| LC Classification
|
:
|
QA76.9.M35E97 2010eb
|
|
|
:
|
QA76.9.M35E97 2010eb
|
| Added Entry
|
:
|
Lassiter, Daniel
|
|
|
:
|
Slavkovik, Marija
|
| Added Entry
|
:
|
European Summer School in Logic, Language, and Information(23rd :2011 :, Ljubljana, Slovenia)
|
| Parallel Title
|
:
|
ESSLLI 2010
|
|
|
:
|
: ESSLLI 2011
|
| |