| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:398741641:1582 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:398741641:1582?format=raw |
LEADER: 01582nam a22004335a 4500
001 013349605-8
005 20121005190507.0
008 120818s2012 gw | s ||0| 0|eng d
020 $a9783642326219$99783642326219 (ebk.)
020 $a9783642326219
024 7 $a10.1007/978-3-642-32621-9$2doi
035 $a(Springer)9783642326219
040 $aSpringer
050 4 $aQA76.9.A43
072 7 $aUMB$2bicssc
072 7 $aCOM051300$2bisacsh
082 04 $a005.1$223
100 1 $aOng, Luke.
245 10 $aLogic, Language, Information and Computation :$b19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings /$cedited by Luke Ong, Ruy Queiroz.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg :$bImprint: Springer,$c2012.
300 $bdigital.
490 0 $aLecture Notes in Computer Science,$x0302-9743 ;$v7456
650 10 $aComputer science.
650 0 $aComputer science.
650 0 $aComputer software.
650 0 $aLogic design.
650 0 $aComputational complexity.
650 0 $aAlgebra$xData processing.
650 24 $aAlgorithm Analysis and Problem Complexity.
650 24 $aMathematical Logic and Formal Languages.
650 24 $aDiscrete Mathematics in Computer Science.
650 24 $aLogics and Meanings of Programs.
650 24 $aComputation by Abstract Devices.
650 24 $aSymbolic and Algebraic Manipulation.
700 1 $aQueiroz, Ruy.
776 08 $iPrinted edition:$z9783642326202
830 0 $aLecture notes in computer science ;$v7456.
988 $a20120914
906 $0VEN