| Record ID | marc_loc_2016/BooksAll.2016.part37.utf8:100641593:2527 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part37.utf8:100641593:2527?format=raw |
LEADER: 02527cam a2200565 a 4500
001 2009929957
003 DLC
005 20110421084414.0
008 090603s2009 gw a b 101 0 eng d
010 $a 2009929957
015 $a09,N21,0071$2dnb
016 7 $a994079338$2DE-101
020 $a9783642022609
020 $a364202260X
028 52 $a12693528
035 $a(OCoLC)ocn401156355
040 $aBTCTA$beng$cBTCTA$dOHX$dTXH$dVGM$dIXA$dGBVCP$dDEBBG$dOCL$dDLC
042 $alccopycat
050 00 $aQA9.A1$bW64 2009
084 $aSS 4800$2rvk
111 2 $aWorkshop on Logic, Language, Information and Computation$n(16th :$d2009 :$cTokyo, Japan)
245 10 $aLogic, language, information and computation :$b16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /$cHiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2009.
300 $axi, 407 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in artificial intelligence, subseries of Lecture notes in computer science ;$v5514
490 1 $aLNCS Sublibrary. SL 7, Artificial intelligence
504 $aIncludes bibliographical references and index.
650 0 $aLogic, Symbolic and mathematical$vCongresses.
650 4 $aBerechnungstheorie$xLogik$vKongress$zTokio <2009>
650 4 $aFormale Methode$vKongress$zTokio <2009>
650 4 $aNatürliche Sprache$xFormale Syntax$xFormale Grammatik$vKongress$zTokio <2009>
650 4 $aProgrammierlogik$vKongress$zTokio <2009>
655 7 $aKongress.$2swd
655 7 $aTokio (2009)$2swd
650 07 $aBerechnungstheorie.$2swd
650 07 $aFormale Grammatik.$2swd
650 07 $aFormale Methode.$2swd
650 07 $aFormale Syntax.$2swd
650 07 $aLogik.$2swd
650 07 $aNatürliche Sprache.$2swd
650 07 $aProgrammierlogik.$2swd
700 1 $aOno, Hiroakira.
700 1 $aKanazawa, Makoto,$d1964-
700 1 $aQueiroz, Ruy J. G. B. de.
830 0 $aLecture notes in computer science ;$v5514.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
830 0 $aLNCS sublibrary.$nSL 7$pArtificial intelligence.
856 41 $3Table of contents$uhttp://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017609468&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
856 41 $uhttp://d-nb.info/994079338/04$3Inhaltsverzeichnis
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy1109/2009929957-d.html