Record ID | ia:algebraiclogicpr0000unse_c7d0 |
Source | Internet Archive |
Download MARC XML | https://archive.org/download/algebraiclogicpr0000unse_c7d0/algebraiclogicpr0000unse_c7d0_marc.xml |
Download MARC binary | https://www.archive.org/download/algebraiclogicpr0000unse_c7d0/algebraiclogicpr0000unse_c7d0_meta.mrc |
LEADER: 04778cam 2200901 a 4500
001 ocm22389519
003 OCoLC
005 20210109230939.0
008 900828s1990 gw a b 100 0 eng
007 ta
010 $a 90010325
040 $aDLC$beng$cDLC$dMUQ$dNLGGC$dBTCTA$dYDXCP$dZWZ$dGEBAY$dTFW$dGBVCP$dOCLCO$dOCLCF$dOCLCQ$dOCLCO$dOCLCQ$dOCL$dOCLCO$dDEBBG$dOCLCO$dDEBSZ$dOCLCQ$dOCLCO$dOCLCQ$dOCLCO$dOCLCA$dUAB$dCEF$dXFF$dOCLCQ$dUWO$dOCLCQ$dUWW$dOCLCQ$dOCLCA$dOCLCQ$dOCLCA$dIL4J6$dOCLCO
019 $a190831019$a811368625$a976786759$a986685846$a988663240$a994332079$a1004696120$a1012022184$a1026329212$a1032774209$a1035864996$a1043989711$a1049746876$a1050124720$a1051313326$a1052944756$a1055052295$a1056270518$a1059821901$a1060764768$a1061485382$a1069318221$a1080744911$a1086626363
020 $a0387531629$q(U.S.)
020 $a9780387531625$q(U.S.)
020 $a3540531629$q(Springer-Verlag Berlin Heidelberg New York)
020 $a9783540531623$q(Springer-Verlag Berlin Heidelberg New York)
035 $a(OCoLC)22389519$z(OCoLC)190831019$z(OCoLC)811368625$z(OCoLC)976786759$z(OCoLC)986685846$z(OCoLC)988663240$z(OCoLC)994332079$z(OCoLC)1004696120$z(OCoLC)1012022184$z(OCoLC)1026329212$z(OCoLC)1032774209$z(OCoLC)1035864996$z(OCoLC)1043989711$z(OCoLC)1049746876$z(OCoLC)1050124720$z(OCoLC)1051313326$z(OCoLC)1052944756$z(OCoLC)1055052295$z(OCoLC)1056270518$z(OCoLC)1059821901$z(OCoLC)1060764768$z(OCoLC)1061485382$z(OCoLC)1069318221$z(OCoLC)1080744911$z(OCoLC)1086626363
050 00 $aQA76.6$b.A4584 1990
082 00 $a006.3$220
084 $a54.51$2bcl
084 $a*68-06$2msc
084 $a08A70$2msc
084 $a18A99$2msc
084 $a68N01$2msc
084 $a68N17$2msc
084 $a68Q42$2msc
084 $aSS 4800$2rvk
084 $aDAT 706f$2stub
245 00 $aAlgebraic and logic programming :$bsecond international conference, Nancy, France, October 1-3, 1990 : proceedings /$cH. Kirchner, W. Wechler, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c©1990.
300 $avii, 386 pages :$billustrations ;$c25 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v463
500 $a"Proceedings of the Second International Conference on Algebraic and Logic Programming ... organized by CRIN and INRIA-Lorraine"--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.
650 0 $aLogic programming$vCongresses.
650 0 $aAlgebraic logic$vCongresses.
650 6 $aProgrammation logique$vCongrès
650 6 $aLogique algébrique$xCongrès
650 7 $aAlgebraic logic.$2fast$0(OCoLC)fst00804936
650 7 $aLogic programming.$2fast$0(OCoLC)fst01002056
650 7 $aAlgebra$2gnd
650 7 $aAlgebraische Spezifikation$2gnd
650 7 $aLogische Programmierung$2gnd
650 7 $aProgrammierung$2gnd
650 7 $aLogic programming$vCongresses.$2nli
650 7 $aAlgebra$xData processing$vCongresses.$2nli
650 7 $aAlgebraic logic$vCongresses.$2nli
650 7 $aProgrammation logique$xCongrès.$2ram
655 4 $aKongress$zNancy$y1990
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aKirchner, H.$q(Hélène)
700 1 $aWechler, Wolfgang.
710 2 $aCentre national de la recherche scientifique (France)
710 2 $aInstitut national de recherche en informatique et en automatique (France)
711 2 $aInternational Conference on Algebraic and Logic Programming$n(2nd :$d1990 :$cNancy, France)
776 08 $iOnline version:$tAlgebraic and logic programming.$dBerlin ; New York : Springer-Verlag, ©1990$w(OCoLC)805896025
830 0 $aLecture notes in computer science ;$v463.
856 41 $3(n.149, 1983 - current) available via SpringerLink$uhttp://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc
856 42 $3Inhaltstext$uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0763.68011
856 4 $3Cover$uhttp://swbplus.bsz-bw.de/bsz021790639cov.htm$v20150910142237
856 4 $xLNCS$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=463$zConnect to Internet resource
938 $aBaker and Taylor$bBTCP$n90010325
938 $aYBP Library Services$bYANK$n3660549
029 1 $aAU@$b000007548119
029 1 $aDEBBG$bBV004165303
029 1 $aDEBSZ$b021790639
029 1 $aGBVCP$b022680780
029 1 $aGEBAY$b1465803
029 1 $aNZ1$b3733975
029 1 $aZWZ$b021715114
994 $aZ0$bP4A
948 $hHELD BY P4A - 243 OTHER HOLDINGS