| Record ID | marc_loc_2016/BooksAll.2016.part40.utf8:192619336:1686 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part40.utf8:192619336:1686?format=raw |
LEADER: 01686cam a22004097a 4500
001 2012954010
003 DLC
005 20150114081532.0
008 121115s2013 gw a b 101 0 eng d
010 $a 2012954010
020 $a9783642357213 (pbk. : alk. paper)
020 $a3642357210 (pbk. : alk. paper)
020 $z9783642357220 (electronic bk.)
020 $z3642357229 (electronic bk.)
035 $a(OCoLC)ocn829651162
040 $aHUA$cHUA$dOCLCO$dOCLCF$dOCLCO$dDLC
042 $alccopycat
050 00 $aQA75.5$b.L44 2013
082 04 $a004$223
111 2 $aLFCS (Symposium)$d(2013 :$cSan Diego, Calif.)
245 10 $aLogical foundations of computer science :$binternational symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings /$cSergei Artemov, Anil Nerode (eds.).
246 30 $aLFCS 2013.
260 $aBerlin ;$aNew York :$bSpringer,$cc2013.
300 $ax, 414 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v7734.
490 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues.
500 $aInternational conference proceedings.
504 $aIncludes bibliographical references and author index.
650 0 $aComputer science$vCongresses.
650 0 $aComputer logic$vCongresses.
650 7 $aComputer logic.$2fast$0(OCoLC)fst00872265
650 7 $aComputer science.$2fast$0(OCoLC)fst00872451
655 7 $aConference proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aArtemov, S. N.
700 1 $aNerode, Anil,$d1932-
830 0 $aLecture notes in computer science ;$v7734.
830 0 $aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues.