02793nas a22005171a 4500001535826MiAaHDL20250726000000.0m d cr bn ---auaua890922c19869999dcuar 1 a0eng d 89641304 sn88361121043-6871(MiU)990015358260106381sdr-miu.990015358260106381(MiU)MIU01000000000000001535826-goog(SFX)110978979121249(OCoLC)14153294(RLIN)MIUG89-S2279(WaSeSS)ejrnlssj0002640(MiU)Aleph001535826OClOClPPiUNSTDLCNSDPCStRLINMiUUtOrBLWlcnsdpQA76.600411Symposium on Logic in Computer Science.http://id.loc.gov/authorities/names/n86034513http://id.loc.gov/rwo/agents/n86034513Proc. - Symp. Logic Comput. Sci.Proceedings - Symposium on Logic in Computer ScienceProceedings /Symposium on Logic in Computer Science.Title on IEEE Xplore home page:Logic in Computer Science ... proceedings of the ... annual IEEE Symposium onWashington, D.C. :IEEE Computer Society Press,c1986-v. :ill. ;28 cmAnnualtexttxtrdacontentunmediatednrdamediavolumencrdacarrier1986-Also issued online.Mode of access: Internet.Sponsored by: the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science, 1986-<1988>Computer programmingCongresses.http://id.loc.gov/authorities/subjects/sh2007004295Logic, Symbolic and mathematicalCongresses.http://id.loc.gov/authorities/subjects/sh2008107112Computer programsCorrectnessCongresses.European Association for Theoretical Computer Science.http://id.loc.gov/authorities/names/n81058302http://id.loc.gov/rwo/agents/n81058302ACM Special Interest Group for Automata and Computability Theory.http://id.loc.gov/authorities/names/n79018778http://id.loc.gov/rwo/agents/n79018778Association for Symbolic Logic.http://id.loc.gov/authorities/names/n50054564http://id.loc.gov/rwo/agents/n50054564IEEE Computer Society.Technical Committee on Mathematical Foundations of Computing.http://id.loc.gov/authorities/names/n79018777http://id.loc.gov/rwo/agents/n79018777Symposium on Logic in Computer Science.Proceedings (Online)3901500982062586CH2321-800153582620241218055315.020250726000000.020260302140650.02026-03-03T07:22:21Z2019-12-30T19:00:03ZSDR-MIUmiuALMAprepare.pl-004-009SEsdr-miu.990015358260106381MiUSDRMIU001535826mdp.39015009820625MIU86CH2321-8990015358260106381MIUMIU20260303googlemdp.3901500982062586CH2321-8undbibUS bib date2 >= 1931MIUMIU20260314googlemdp.3901501184177587CH2464-6undbibUS bib date2 >= 1931MIUMIU20260227googlemdp.3901501306044088CH2608-8 19881988icbibUS serial item date >= 1931MIUMIU20260304googlemdp.3901501384392889CH2753-2 19891989icbibUS serial item date >= 1931MIUMIU20260317googlemdp.3901501542213590CH2897-7undbibUS bib date2 >= 1931MIUMIU20260302googlemdp.3901502233366391CH3025-4 19911991icbibUS serial item date >= 1931MIUMIU20260307googlemdp.3901502330925892CH3127-8undbibUS bib date2 >= 1931MIUMIU20260313googlemdp.3901502657128493CH3328-2 19931993icbibUS serial item date >= 1931MIUMIU20260307googlemdp.3901502651159594CH3464-5 19941994icbibUS serial item date >= 1931MIUMIU20260304googlemdp.3901503023840995CH35768 19951995icbibUS serial item date >= 1931MIUMIU20260227googlemdp.3901503524795996CB35952 19961996icbibUS serial item date >= 1931MIUMIU20260306googlemdp.3901503629787097CB36092 19971997icbibUS serial item date >= 1931MIUMIU20260227googlemdp.3901504030794798CB36226 19981998icbibUS serial item date >= 1931MIUMIU20260306googlemdp.3901504742676599CB36332 19991999icbibUS serial item date >= 1931MIUMIU20260303googlemdp.3901504821561300CB37133 19861986icbibUS serial item date >= 1931MIUMIU20260228googlemdp.39015047807378PR01281 20012001icbibUS serial item date >= 1931MIUMIU20260409googlemdp.39015048301827PR01483 20022002icbibUS serial item date >= 1931MIUMIU20260317googlemdp.39015047932838PR01884 20032003icbibUS serial item date >= 1931MIUMIU20260314googlemdp.39015058315295P2192 20042004icbibUS serial item date >= 1931MIUMIU20260409googlemdp.39015058302145P2266 20052005icbibUS serial item date >= 1931