Matches in Library of Congress for { <http://lccn.loc.gov/2010924453> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2010924453 alternative "LOPSTR 2009".
- 2010924453 contributor B12087375.
- 2010924453 contributor B12087376.
- 2010924453 created "c2010.".
- 2010924453 date "2010".
- 2010924453 date "c2010.".
- 2010924453 dateCopyrighted "c2010.".
- 2010924453 extent "x, 204 p. :".
- 2010924453 identifier "3642125913 (softcover : alk. paper)".
- 2010924453 identifier "9783642125911 (softcover : alk. paper)".
- 2010924453 isPartOf "LNCS sublibrary: SL 1-theoretical computer science and general issues".
- 2010924453 isPartOf "Lecture notes in computer science ; 6037".
- 2010924453 issued "2010".
- 2010924453 issued "c2010.".
- 2010924453 language "eng".
- 2010924453 publisher "Berlin ; New York : Springer,".
- 2010924453 subject "Beweistheorie. swd".
- 2010924453 subject "Logic programming Congresses.".
- 2010924453 subject "Logische Programmierung. swd".
- 2010924453 subject "Programmierlogik. swd".
- 2010924453 subject "Programmsynthese. swd".
- 2010924453 subject "Programmtransformation. swd".
- 2010924453 subject "QA76.63 .L69 2009".
- 2010924453 title "LOPSTR 2009".
- 2010924453 title "Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers / Danny De Schreye, ed.".
- 2010924453 type "text".