Matches in Library of Congress for { <http://lccn.loc.gov/2010932191> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- 2010932191 contributor B12092467.
- 2010932191 contributor B12092468.
- 2010932191 coverage "Brünn <2010> swd".
- 2010932191 created "2010.".
- 2010932191 date "2010".
- 2010932191 date "2010.".
- 2010932191 dateCopyrighted "2010.".
- 2010932191 description "Includes bibliographical references and index.".
- 2010932191 extent "xiv, 546 p. :".
- 2010932191 identifier "364215204X (pbk. : acid-free paper)".
- 2010932191 identifier "9783642152047 (pbk. : acid-free paper)".
- 2010932191 isPartOf "Advanced research in computing and software science".
- 2010932191 isPartOf "LNCS sublibrary. SL 1 Theoretical computer science and general issues.".
- 2010932191 isPartOf "LNCS sublibrary: SL 1 -- Theoretical computer science and general issues".
- 2010932191 isPartOf "Lecture notes in computer science ; 6247".
- 2010932191 isPartOf "Lecture notes in computer science ; 6247.".
- 2010932191 isPartOf "Lecture notes in computer science. Advanced research in computing and software science.".
- 2010932191 issued "2010".
- 2010932191 issued "2010.".
- 2010932191 language "eng".
- 2010932191 publisher "Berlin ; New York : Springer,".
- 2010932191 spatial "Brünn <2010> swd".
- 2010932191 subject "004.015113".
- 2010932191 subject "Computational logic swd".
- 2010932191 subject "Computer logic Congresses.".
- 2010932191 subject "Logik swd".
- 2010932191 subject "Logische Programmierung swd".
- 2010932191 subject "Programmierlogik swd".
- 2010932191 subject "QA76.9.L63 C78 2010".
- 2010932191 subject "Theoretische Informatik swd".
- 2010932191 title "Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings / Anuj Dawar, Helmut Veith (eds.).".
- 2010932191 type "text".