| Record ID | ia:logicincomputers0000unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/logicincomputers0000unse/logicincomputers0000unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/logicincomputers0000unse/logicincomputers0000unse_meta.mrc |
LEADER: 03182cam 2200493M 4500
001 ocn812648053
003 OCoLC
005 20201001195230.0
008 920721s1992 cau o 000 0 eng d
006 m o d
007 cr |n|||||||||
040 $aCOO$beng$epn$cCOO$dOCLCQ$dIAS$dLIP$dREB$dCEF$dVT2$dWYU$dLVT$dOCLCO$dOCLCQ$dOCL$dEQF$dUWK$dSXB
019 $a990685084$a1127228090$a1136205879$a1165843859$a1166034445$a1166129208$a1168310768$a1172872639$a1180621453
020 $a9780818627354
020 $a0818627352$q(Trade Paper)
024 3 $a9780818627354
035 $a(OCoLC)812648053$z(OCoLC)990685084$z(OCoLC)1127228090$z(OCoLC)1136205879$z(OCoLC)1165843859$z(OCoLC)1166034445$z(OCoLC)1166129208$z(OCoLC)1168310768$z(OCoLC)1172872639$z(OCoLC)1180621453
037 $a2735$b00029433
245 00 $aLogic in Computer Science, 7th Conference (LICS '92).
260 $aLos Alamitos :$bIEEE Computer Society Press$cOct. 1992.
300 $a1 online resource (488 pages)
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
520 8 $aThe symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical issues that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
546 $aEnglish.
650 0 $aComputer science$xMathematics$vCongresses.
650 0 $aLogic, Symbolic and mathematical$vCongresses.
650 7 $aComputer science$xMathematics.$2fast$0(OCoLC)fst00872460
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
655 4 $aElectronic books.
776 08 $iPrint version:$tLogic in Computer Science, 7th Conference (LICS '92).$dLos Alamitos : IEEE Computer Society Press Oct. 1992$w(DLC) 91078307
856 40 $3IEEE Xplore$uhttp://ieeexplore.ieee.org/servlet/opac?punumber=402
856 40 $3IEEE Xplore$uhttps://ieeexplore.ieee.org/servlet/opac?punumber=402
856 40 $uhttp://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000558490&T=marc&tab=BOOKS
856 $uhttps://whel-primo.hosted.exlibrisgroup.com/openurl/44WHELF_BANG/44WHELF_BANG_services_page?u.ignore_date_coverage=true&rft.mms_id=991004842349602422$p53124929120002422$xWlBaU$xAvailable
856 $b5396461530002418$uhttp://whel-primo.hosted.exlibrisgroup.com/openurl/44WHELF_ABW/44WHELF_ABW_services?u.ignore_date_coverage=true&rft.mms_id=9912037333502418$cIEEE Xplore$cIEEE/IET Electronic Library (IEL)$p5396461530002418$xWlAbUW
856 $uhttps://birmingham-primo.hosted.exlibrisgroup.com/openurl/44BIR/44BIR_VU1?u.ignore_date_coverage=true&rft.mms_id=9933488536504871$zIEEE/IET Electronic Library (IEL) Conference Proceedings$p53129707510004871$xUkBU
029 1 $aAU@$b000051500918
029 1 $aAU@$b000061117910
029 1 $aGBVCP$b894505912
994 $aZ0$bP4A
948 $hHELD BY P4A - 230 OTHER HOLDINGS