Matches in Library of Congress for { <http://lccn.loc.gov/2007934516> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2007934516 alternative "CSL 2007".
- 2007934516 contributor B11064259.
- 2007934516 contributor B11064260.
- 2007934516 contributor B11064261.
- 2007934516 created "c2007.".
- 2007934516 date "2007".
- 2007934516 date "c2007.".
- 2007934516 dateCopyrighted "c2007.".
- 2007934516 description "Includes bibliographical references and index.".
- 2007934516 description "Invited lectures -- Logic and games -- Expressiveness -- Games and trees -- Logic and deduction -- Lambda calulus -- Finite model theory -- Linear logic -- Proof theory -- Game semantics.".
- 2007934516 extent "xiv, 600 p. :".
- 2007934516 hasFormat "Also issued online.".
- 2007934516 identifier "3540749144 (softcover : alk. paper)".
- 2007934516 identifier "9783540749141 (sofcover : alk. paper)".
- 2007934516 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4646.
- 2007934516 isFormatOf "Also issued online.".
- 2007934516 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2007934516 isPartOf "Lecture notes in computer science, 0302-9743 ; 4646".
- 2007934516 issued "2007".
- 2007934516 issued "c2007.".
- 2007934516 language "eng".
- 2007934516 publisher "Berlin ; New York : Springer,".
- 2007934516 relation "Also issued online.".
- 2007934516 subject "004.01/5113 22".
- 2007934516 subject "Computer logic Congresses.".
- 2007934516 subject "QA76.9.L63 C78 2007".
- 2007934516 tableOfContents "Invited lectures -- Logic and games -- Expressiveness -- Games and trees -- Logic and deduction -- Lambda calulus -- Finite model theory -- Linear logic -- Proof theory -- Game semantics.".
- 2007934516 title "CSL 2007".
- 2007934516 title "Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings / Jacques Duparc, Thomas A. Henzinger (eds.).".
- 2007934516 type "text".