| Record ID | ia:logicprogramming0000unse_p9d3 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/logicprogramming0000unse_p9d3/logicprogramming0000unse_p9d3_marc.xml |
| Download MARC binary | https://www.archive.org/download/logicprogramming0000unse_p9d3/logicprogramming0000unse_p9d3_meta.mrc |
LEADER: 04217cam 2200745 a 4500
001 ocm18070623
003 OCoLC
005 20210920191956.0
008 880511s1988 gw a b 100 0 eng
006 m d
007 cr unu|uuuuu||
010 $a 88017625
040 $aDLC$beng$cDLC$dMUQ$dBTCTA$dYDXCP$dCRU$dUBY$dTFW$dBDX$dGBVCP$dOCLCF$dOCLCQ$dOCLCO$dOCLCQ$dOCL$dOCLCO$dUWO$dCEF$dOCLCQ$dHUELT$dUWW$dNKM$dMM9$dUAB
019 $a190830184$a811367644$a976735075$a986688037$a988719950$a994489979$a1004803502$a1011885975$a1013273765$a1043984294$a1049749267$a1050119992$a1051309774$a1056261893$a1060820379$a1069308317$a1080800378$a1081597964$a1111781509$a1150863558$a1171629877$a1180953155$a1191281517$a1195450644$a1195957458$a1198196443$a1200944870$a1201577051$a1201579037$a1227840816$a1264643223
020 $a0387194266$q(U.S.)
020 $a9780387194264$q(U.S.)
020 $a3540194266
020 $a9783540194262
035 $a(OCoLC)18070623$z(OCoLC)190830184$z(OCoLC)811367644$z(OCoLC)976735075$z(OCoLC)986688037$z(OCoLC)988719950$z(OCoLC)994489979$z(OCoLC)1004803502$z(OCoLC)1011885975$z(OCoLC)1013273765$z(OCoLC)1043984294$z(OCoLC)1049749267$z(OCoLC)1050119992$z(OCoLC)1051309774$z(OCoLC)1056261893$z(OCoLC)1060820379$z(OCoLC)1069308317$z(OCoLC)1080800378$z(OCoLC)1081597964$z(OCoLC)1111781509$z(OCoLC)1150863558$z(OCoLC)1171629877$z(OCoLC)1180953155$z(OCoLC)1191281517$z(OCoLC)1195450644$z(OCoLC)1195957458$z(OCoLC)1198196443$z(OCoLC)1200944870$z(OCoLC)1201577051$z(OCoLC)1201579037$z(OCoLC)1227840816$z(OCoLC)1264643223
037 $cCIP entry
050 00 $aQA76.6$b.L58762 1988
082 00 $a006.3$219
084 $a31.80$2bcl
084 $a*00B25$2msc
084 $a68-06$2msc
245 00 $aLogic programming '87 :$bproceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 /$cK. Furukawa, H. Tanaka, T. Fujisaki, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c©1988.
300 $avi, 327 pages :$billustrations ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v315
500 $a"Papers presented at the Sixth Logic Programming Conference"--Foreword.
504 $aIncludes bibliographical references.
530 $aSome issues available on the Internet. Access restricted to members of the Tufts University community.
538 $aMode of access: World Wide Web.
583 1 $acommitted to retain$c20170930$d20421231$fHathiTrust$uhttps://www.hathitrust.org/shared_print_program$5AEU$zHathiTrust Shared Print commitment 2017
650 0 $aLogic programming$vCongresses.
650 6 $aProgrammation logique$vCongrès.
650 7 $aLogic programming.$2fast$0(OCoLC)fst01002056
650 04 $aLogic design$xCongresses
650 04 $adigitális tervezés$xkonferencia
655 4 $aElectronic resources (Books)
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aFurukawa, Kōichi.
700 1 $aTanaka, H.$q(Hozumi)
700 1 $aFujisaki, T.$q(Tetsunosuke)
711 2 $aLogic Programming Conference$n(6th :$d1987 :$cToyko, Japan)
776 08 $iOnline version:$tLogic programming '87.$dBerlin ; New York : Springer-Verlag, ©1988$w(OCoLC)569111867
830 0 $aLecture notes in computer science ;$v315.
856 41 $3(n.149, 1983 - current) available via SpringerLink$uhttp://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc
856 41 $3Table of contents$uhttp://www.gbv.de/dms/bowker/toc/9783540194262.pdf
856 42 $3Inhaltstext$uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0639.00040
856 4 $zConnect to Internet resource$xLNCS$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=315
938 $aBrodart$bBROD$n39718352$c$27.30
938 $aBaker and Taylor$bBTCP$n88017625
938 $aYBP Library Services$bYANK$n320583
029 1 $aAU@$b000005907551
029 1 $aAU@$b000048877772
029 1 $aGBVCP$b021771359
029 1 $aHEBIS$b112994989
029 1 $aNLGGC$b048027855
029 1 $aNZ1$b3372679
994 $aZ0$bP4A
948 $hHELD BY P4A - 218 OTHER HOLDINGS