Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan

Saved in:
Bibliographic Details
Main Author: Symposium on Logic in Computer Science
Format: Book
Language:English
Published: Los Alamitos, Calif. ; Tokyo IEEE Computer Society 2015
ISBN:9781479988471, 1479988472
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Author Symposium on Logic in Computer Science
Author_xml – sequence: 1
  fullname: Symposium on Logic in Computer Science
BackLink https://cir.nii.ac.jp/crid/1130000797355951616$$DView record in CiNii
BookMark eNotkMtOwzAQRS0BElD6D7Ng2YiZ-BGbXRUFKASBVFgj17GLq9aumkaof8-rm3t0NmdxL9lpysmfsLGpNInKGK1FReds3PcrRCQjlBZ4wb5ed9l538W07OEWSiQJHPefYFMa7Bqm9fPNrGka6A-bbe7jsIGcoM3L6CAmqPNmO-z9DuYu-uT8BNpZPf_LTEAVhPA4rA9HfzrkfZ7Ao93adMXOgl33fnzkiL3fNW_1Q9G-3M_qaVusiIwqVKDOLRYadVCEzlppyHiFwUhunRai06WmIKQruyqQpxIF98F7cnxhsOQjdv3fTTF-uPi7RPznAaxMxaU0khQp_g2EH1Lt
ContentType Book
DBID RYH
DatabaseName CiNii Complete
DeliveryMethod fulltext_linktorsrc
DocumentTitleAlternate 2015 30th annual ACM/IEEE symposium on Logic in Computer Science (LICS 2015), Kyoto, Japan, 6-10 July 2015
ExternalDocumentID BB1958451X
GroupedDBID 6IE
6IF
6IG
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ADFMO
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
IEGSK
IERZE
IJVOP
OCL
RIE
RIL
RIO
RYH
ID FETCH-LOGICAL-j1196-6f1dcbb808f610caa5919e60f953ac844d8281f45c2d7f1e12043efee1c3b9023
ISBN 9781479988471
1479988472
IngestDate Thu Jun 26 22:14:14 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-j1196-6f1dcbb808f610caa5919e60f953ac844d8281f45c2d7f1e12043efee1c3b9023
Notes IEEE catalog number: CFP15039-POD
Includes bibliographical references and index
ParticipantIDs nii_cinii_1130000797355951616
PublicationCentury 2000
PublicationDate c2015
PublicationDateYYYYMMDD 2015-01-01
PublicationDate_xml – year: 2015
  text: c2015
PublicationDecade 2010
PublicationPlace Los Alamitos, Calif. ; Tokyo
PublicationPlace_xml – name: Los Alamitos, Calif. ; Tokyo
PublicationYear 2015
Publisher IEEE Computer Society
Publisher_xml – name: IEEE Computer Society
SSID ssj0001946840
Score 2.0366397
SourceID nii
SourceType Publisher
Title Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan
URI https://cir.nii.ac.jp/crid/1130000797355951616
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3dS8MwEA86fPBNUfFrkgfftuLSJU3jmxuKIo7BJuxNujSBCutkH7r9996lXTb2oj74Epq0PZrfNbm7JHdHyDW3WqdpGgZa6STgQuggiXHgpSCfDIxBy4tkE7LTiQcD1S0j705dOgGZ5_FioT7-ldXQBsxG19k_sNsThQa4BqZDCWyHcksj9tWC410vi6bO0AehK2rNhvNdc0H079ovQBbNu9p0OcLjWvMRbhZgvmVduP8VKR5WI94Z7U_tniOFlQjmU3SpXvqW5-V4VmzegNT1P1rvV-Q3VxyY2FpxcJ-5fmPsI5Z4s5RxCVYcyr21lPFn_1otjG_DBRvskl0ZycLnbr0upjjGn3E-eCWVcBWaa0UV9IA8yzb0gP4BqaBvyCHZMfkR-doAnN5S7ANFuGkBNwW4b7AX1INNxzl1aNAsp6u-0RKNOkWoHZk6RaApAl3WHcx16kA-Jq8P9_32Y1DmsQjeGUxwQWRZqofDuBFbUFZ1kgjFlIkaVolmomPOUzB7meVCh6m0zDD0VzbWGKabQwVK1Qmp5OPcnBIaarCXQ8XjhGmeSjkUNhZJaOBZIGX0GakCMm86w5LhViXogEqCUgmadMSi8x_uX5D9NccvSWU2mZsq2dOfs2w6uXKc-gZHYiOd
linkProvider IEEE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Proceedings+%3A+2015+30th+annual+ACM%2FIEEE+symposium+on+Logic+in+Computer+Science%2C+LICS+2015%2C+6-10+July+2015%2C+Kyoto%2C+Japan&rft.au=Symposium+on+Logic+in+Computer+Science&rft.date=2015-01-01&rft.pub=IEEE+Computer+Society&rft.isbn=9781479988471&rft.externalDocID=BB1958451X
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781479988471/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781479988471/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781479988471/sc.gif&client=summon&freeimage=true