| Record ID | ia:rewritingtechniq0000unse_z3u4 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/rewritingtechniq0000unse_z3u4/rewritingtechniq0000unse_z3u4_marc.xml |
| Download MARC binary | https://www.archive.org/download/rewritingtechniq0000unse_z3u4/rewritingtechniq0000unse_z3u4_meta.mrc |
LEADER: 04034cam 2200853 a 4500
001 ocm12582911
003 OCoLC
005 20211222205119.0
008 850903s1985 gw a b 100 0 eng
010 $a 85022164
040 $aDLC$beng$cDLC$dOCL$dMUQ$dNLGGC$dBTCTA$dBAKER$dHEBIS$dOCLCQ$dZWZ$dOCLCQ$dDEBBG$dBDX$dOCLCF$dOCLCQ$dTFW$dOCLCO$dOCLCQ$dOCL$dOCLCO$dYDXCP$dOCLCQ$dOCLCO$dOCLCQ$dOL$$dBUB$dUWO$dOCLCA$dMM9$dOCLCO
015 $a86,A04,0338$2dnb
016 7 $a850821290$2DE-101
019 $a190827303$a731918727$a811361853$a977489139$a986695301$a988626995$a1012051987$a1013453692$a1035061489$a1035366364$a1039032069$a1043979701$a1049738909$a1050117952$a1172151887
020 $a0387159762$q(pbk. ;$qU.S.)
020 $a9780387159768$q(pbk. ;$qU.S.)
020 $a9783540159766
020 $a3540159762
035 $a(OCoLC)12582911$z(OCoLC)190827303$z(OCoLC)731918727$z(OCoLC)811361853$z(OCoLC)977489139$z(OCoLC)986695301$z(OCoLC)988626995$z(OCoLC)1012051987$z(OCoLC)1013453692$z(OCoLC)1035061489$z(OCoLC)1035366364$z(OCoLC)1039032069$z(OCoLC)1043979701$z(OCoLC)1049738909$z(OCoLC)1050117952$z(OCoLC)1172151887
037 $cCIP entry
050 00 $aQA76.6$b.R464 1985
082 00 $a005$219
084 $a54.70$2bcl
084 $a54.50$2bcl
084 $a54.60$2bcl
084 $aSS 4800$2rvk
084 $aDAT 554f$2stub
245 00 $aRewriting techniques and applications :$bDijon, France, May 20-22, 1985 /$cedited by Jean-Pierre Jouannaud.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c©1985.
300 $avi, 440 pages :$billustrations ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v202
500 $aPapers presented at the First International Conference on Rewriting Techniques and Applications, held in Dijon, Burgundy, France, May 20-22, 1985.
504 $aIncludes bibliographical references.
650 0 $aComputer programming$vCongresses.
650 0 $aComputer algorithms$vCongresses.
650 0 $aRewriting systems (Computer science)$vCongresses.
650 6 $aSystèmes de réécriture (Informatique)$xCongrès.
650 6 $aProgrammation (Informatique)$vCongrès.
650 6 $aAlgorithmes$vCongrès.
650 7 $aComputer algorithms.$2fast$0(OCoLC)fst00872010
650 7 $aComputer programming.$2fast$0(OCoLC)fst00872390
650 7 $aRewriting systems (Computer science)$2fast$0(OCoLC)fst01096809
650 17 $aAlgebraïsche logica.$2gtt
650 17 $aBewijstheorie.$2gtt
650 17 $aSpecificatie.$2gtt
650 17 $aComputermethoden.$2gtt
650 7 $aDatenverarbeitung$2gnd
650 7 $aProduktion$gInformatik$2gnd
650 7 $aReduktionssystem$2gnd
650 7 $aTermersetzungssystem$2gnd
651 7 $aDijon <1985>$2swd
655 4 $aKongress$zDijon$y1985.
655 4 $aKongreß$zDijon$y1985.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aJouannaud, Jean-Pierre.
711 2 $aInternational Conference on Rewriting Techniques and Applications$n(1st :$d1985 :$cDijon, France)
830 0 $aLecture notes in computer science ;$v202.
856 41 $3(n.149, 1983 - current) available via SpringerLink$uhttp://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc
856 4 $zConnect to Internet resource$xLNCS$uhttps://www.lib.uwo.ca/cgi-bin/ezpauthn.cgi?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=202
938 $aBaker & Taylor$bBKTY$c44.95$d44.95$i0387159762$n0001022025$sactive
938 $aBrodart$bBROD$n36567183$c$22.80
938 $aBaker and Taylor$bBTCP$n85022164 //r872
938 $aYBP Library Services$bYANK$n7724053
029 1 $aAU@$b000004213997
029 1 $aDEBBG$bBV000391664
029 1 $aGEBAY$b430493
029 1 $aHEBIS$b004379748
029 1 $aNLGGC$b853318786
029 1 $aNZ1$b2913265
994 $aZ0$bP4A
948 $hHELD BY P4A - 217 OTHER HOLDINGS