| Record ID | ia:springer_10.1007-3-540-45635-X |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/springer_10.1007-3-540-45635-X/springer_10.1007-3-540-45635-X_marc.xml |
| Download MARC binary | https://www.archive.org/download/springer_10.1007-3-540-45635-X/springer_10.1007-3-540-45635-X_meta.mrc |
LEADER: 03448cam 2200829 a 4500
001 ocm48518737
003 OCoLC
005 20130713155430.0
008 011130s2001 gw b 101 0 engoc
040 $aOHX$beng$cOHX$dZCU$dUIU$dLVB$dOCLCQ$dUKM$dC$Q$dNLGGC$dCOO$dBAKER$dYDXCP$dUX1$dSTF$dDEBBG$dZWZ$dGW5XE$dOCLCQ
015 $aGBA2-00773
016 7 $a962924792$2DE-101
019 $a48629121
020 $a3540429352 (pbk.)
020 $a9783540429357 (pbk.)
035 $a(OCoLC)48518737$z(OCoLC)48629121
042 $apcc
050 4 $aQA76.63$b.I57 2001
072 7 $aQA$2lcco
082 04 $a001.64$bL497, v.2237$221
084 $a54.51$2bcl
084 $aDAT 706f$2stub
084 $aSS 4800$2rvk
084 $aST 230$2rvk
111 2 $aInternational Conference on Logic Programming$n(17th :$d2001 :$cPaphos, Cyprus)
245 10 $aLogic programming :$b17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /$cPhilippe Codognet (ed.).
246 30 $aICLP 2001
260 $aBerlin ;$aNew York :$bSpringer,$cc2001.
300 $axi, 364 p. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v2237
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aLogic programming$vCongresses.
650 4 $alogique line aire.
650 4 $alogique mathe matique.
650 4 $ase mantique programme.
650 4 $aprogrammation sous contrainte.
650 4 $ave rification formelle.
650 4 $alogique informatique.
650 4 $aprogrammation en logique.
650 6 $aProgrammation logique$xCongre s.
650 17 $aLogisch programmeren.$2gtt
650 7 $aProgrammation logique$xCongre s.$2ram
650 07 $aKongress.$2swd
650 07 $aLogische Programmierung.$2swd
655 7 $aPaphos (Kouklia, 2001)$2swd
655 4 $aKongress$zPaphos (Kouklia)$y2001.
700 1 $aCodognet, Philippe.
830 0 $aLecture notes in computer science ;$v2237.$x0302-9743
856 4 $uhttp://link.springer.de/link/service/series/0558/tocs/t2237.htm$zSommaire + texte inte gral (acce s re serve )
856 41 $3SpringerLink$uhttp://dx.doi.org/10.1007/3-540-45635-X
856 41 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=2237$zRestricted to SpringerLink subscribers
856 41 $zAvailable to Stanford-affiliated users at:$uhttp://link.springer-ny.com/link/service/series/0558/tocs/t2237.htm
938 $aOtto Harrassowitz$bHARR$nhar010088025
938 $aBaker & Taylor$bBKTY$c69.95$d69.95$i3540429352$n0003915195$sactive
938 $aYBP Library Services$bYANK$n1822039
952 $a48518737$zOHX$hFull$iLCC$kDDC$ppcc$u20120309
952 $a232488368$zMCS$bHARVARD UNIV$hFull batch$iLCC$u20100725
952 $a269639798$zSTF$bSTANFORD UNIV LIBR$dURI$hFull$iLCC$ppcc$u20100723
952 $a189988994$zPAU$bUNIV OF PENNSYLVANIA$hFull$iLCC$ppcc$u20100715
952 $a487481485$zTEU$bTEMPLE UNIV$dURI$hFull$u20100728
952 $a266483222$zCUD$bCAMBRIDGE UNIV$hFull$u20100713
029 1 $aNLGGC$b236523236
029 1 $aYDXCP$b1822039
029 1 $aNZ1$b6650812
029 1 $aAU@$b000023831895
029 1 $aAU@$b000023260079
029 1 $aAU@$b000023265113
029 1 $aAU@$b000023276570
029 1 $aDEBBG$bBV014003315
994 $aZ0$bPMR
948 $hNO HOLDINGS IN PMR - 174 OTHER HOLDINGS