| Record ID | marc_binghamton_univ/bgm_openlib_final_0-5.mrc:371363548:1695 |
| Source | Binghamton University |
| Download Link | /show-records/marc_binghamton_univ/bgm_openlib_final_0-5.mrc:371363548:1695?format=raw |
LEADER: 01695nam 2200349v1 4500
001 BIN01-000391440
005 20071117080539.0
007 heramu---buuu
008 860930s1986 dcua bb 10110 eng d
020 $a0818607203
020 $a0818647205 (microfiche)
035 $a(RLIN)NYBG86-B48090
035 9 $aABU3838$bSB
040 $aNBiSU$cNBiSU
099 $aMICRO- FICHE 503
111 2 $aSymposium on Logic in Computer Science$d(1986 :$cCambridge, Mass.).
245 10 $aSymposium on Logic in Computer Science$h[microform] :$bproceedings : Cambridge, Massachusetts, June 16-18, 1986 /$csponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, [and] European Association for Theoretical Computer Science.
260 $aWashington, DC :$bIEEE Computer Society Press,$c1986.
300 $axi, 383 p. :$bill. ;$c28 cm.
500 $a"IEEE Catalog no. 86CH2321-8."
500 $a"IEEE Computer Society order number 720."
504 $aIncludes bibliographies and index.
533 $aMicrofiche.$e4 microfiches ; 11 x 15 cm.
650 0 $aComputer programs$xCorrectness$vCongresses.
650 0 $aLogic, Symbolic and mathematical$vCongresses.
650 0 $aElectronic digital computers$xProgramming$vCongresses.
710 2 $aIEEE Computer Society.$bTechnical Committee on Mathematical Foundations of Computing
710 2 $aAssociation for Symbolic Logic.
710 2 $aACM Special Interest Group for Automata and Computability Theory.
710 2 $aEuropean Association for Theoretical Computer Science.
852 40 $aBIN$bBINMA$cMAIN$jMicrofiche 503$91
945 $d04/06/89