Matches in Library of Congress for { <http://lccn.loc.gov/2009933479> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- 2009933479 contributor B11729232.
- 2009933479 contributor B11729233.
- 2009933479 created "c2009.".
- 2009933479 date "2009".
- 2009933479 date "c2009.".
- 2009933479 dateCopyrighted "c2009.".
- 2009933479 description "Includes bibliographical references and index.".
- 2009933479 extent "x, 382 p. :".
- 2009933479 hasFormat "Also issued online.".
- 2009933479 identifier "364204221X (pbk. : alk. paper)".
- 2009933479 identifier "9783642042218 (pbk. : alk. paper)".
- 2009933479 identifier F?func=service&doc_library=BVB01&doc_number=018000025&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2009933479 isFormatOf "Also issued online.".
- 2009933479 isPartOf "Lecture notes in artificial intelligence. Subseries of lecture notes in computer science, 0302-9743 ; 5749".
- 2009933479 issued "2009".
- 2009933479 issued "c2009.".
- 2009933479 language "eng".
- 2009933479 publisher "Berlin ; New York : Springer,".
- 2009933479 relation "Also issued online.".
- 2009933479 subject "004n/a".
- 2009933479 subject "Automatisches Beweisverfahren. swd".
- 2009933479 subject "Computer science Congresses.".
- 2009933479 subject "Informatik. swd".
- 2009933479 subject "Künstliche Intelligenz. swd".
- 2009933479 subject "Logic, Symbolic and mathematical Congresses.".
- 2009933479 subject "Logik. swd".
- 2009933479 subject "Problemlösen. swd".
- 2009933479 subject "Programmierlogik. swd".
- 2009933479 subject "QA9.A1 F73 2009".
- 2009933479 title "Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings / Silvio Ghilardi, Roberto Sebastiani (eds.).".
- 2009933479 type "Kongress. swd".
- 2009933479 type "Trient (2009) swd".
- 2009933479 type "text".