Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992
Uložené v:
| Hlavní autori: | , , , , |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Los Alamitos, Calif. ; Tokyo
IEEE Computer Society Press
1992
|
| Predmet: | |
| ISBN: | 0818627352, 9780818627378, 9780818627354, 0818627360, 0818627379, 9780818627361 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Author | IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing ACM Special Interest Group for Automata and Computability Theory Association for Symbolic Logic European Association for Theoretical Computer Science Symposium on Logic in Computer Science |
|---|---|
| Author_xml | – sequence: 1 fullname: Symposium on Logic in Computer Science – sequence: 2 fullname: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing – sequence: 3 fullname: ACM Special Interest Group for Automata and Computability Theory – sequence: 4 fullname: Association for Symbolic Logic – sequence: 5 fullname: European Association for Theoretical Computer Science |
| BackLink | https://cir.nii.ac.jp/crid/1130000796554091008$$DView record in CiNii |
| BookMark | eNotkE1LAzEURQNaqK39D2_hcgaSySSTLMswamVAYXQtafLSRtqkzIeiv94WvYt7dvfAXZDrmCJekQVVTMmi4qKYkblmtFKcVnOyGoYPeo4QqtT0hny99MkiuhB3AyQP4x6hw0-M4x7WMU7mAJumaaD7Pp7SEKYjpAht2gULIUKdjqdpxB46GzBazKAzcTRQ99NPBrU5BJ_6GEwGT1NEKIq8EBkwrYtbMvPmMODqn0vydt-81o95-_ywqddtbkuqZe64QOmM91spqK8otwYNZcyUQm1RC8Zk6ZyjtsLSOCsFt6hLL5iXlnol-ZLc_e3GEN5tuDRj_PJApaUQZwmjVPFfpy9Xsw |
| ContentType | Book |
| DBID | RYH |
| DatabaseName | CiNii Complete |
| DeliveryMethod | fulltext_linktorsrc |
| DocumentTitleAlternate | 1992 IEEE 7th Annual Symposium on Logic in Computer Science 92CH31278 |
| ExternalDocumentID | BA18262000 |
| GroupedDBID | 6IE 6IK AAJGR AAWTH ACGHX ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK OCL RIB RIC RIE RYH |
| ID | FETCH-LOGICAL-c4096-d35e6daffb650f703caea011a458be951164ddd0c7e4adc653ce94f51f6c0f863 |
| ISBN | 0818627352 9780818627378 9780818627354 0818627360 0818627379 9780818627361 |
| IngestDate | Fri Jun 27 00:13:14 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCN | 91078307 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c4096-d35e6daffb650f703caea011a458be951164ddd0c7e4adc653ce94f51f6c0f863 |
| Notes | IEEE Catalog Number 92CH3127-8 Includes bibliographies and index |
| ParticipantIDs | nii_cinii_1130000796554091008 |
| PublicationCentury | 1900 |
| PublicationDate | c1992 |
| PublicationDateYYYYMMDD | 1992-01-01 |
| PublicationDate_xml | – year: 1992 text: c1992 |
| PublicationDecade | 1990 |
| PublicationPlace | Los Alamitos, Calif. ; Tokyo |
| PublicationPlace_xml | – name: Los Alamitos, Calif. ; Tokyo |
| PublicationYear | 1992 |
| Publisher | IEEE Computer Society Press |
| Publisher_xml | – name: IEEE Computer Society Press |
| SSID | ssj0000558490 |
| Score | 1.7806394 |
| SourceID | nii |
| SourceType | Publisher |
| SubjectTerms | Electronic data processing -- Congresses Electronic digital computers -- Programming -- Congresses |
| Title | Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 |
| URI | https://cir.nii.ac.jp/crid/1130000796554091008 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9swDBaSYIfdVnTDXh106M3xINeybB-7YEMvLQqkA3ob9MQMrE6ROl27P7e_VlKy5aQY0O2wixFZMBOJXyCSJj8ScqisYLpiNnV5oVJuM5UqJcFV0YbLTDheauObTZRnZ9XlZX0-mfweamFuf5RtW93d1df_VdVwD5SNpbP_oO4oFG7AZ1A6XEHtcH1kEcdh0Ph5PItuhjf_S8_P9D3pWfTRs0uW91eYqbW5wvcE2GpZh8q_0N1h-LOHaHHbyWSx3vwKqSFDFVeo5gDrFDxMbGu0SDC7NMZq_kp-hCT-pHEy5JB-DBF_jx-sYGm6zloUdxpJZmFm7Ajl1xuEDCcxYnhxmiyvbU8nAuLhAOyDb5hbebzpViDK16T1DwfO8vuRsCDIGRHsH4QFKmRTDosbwyYhxXYnbPLH1e2kvQQP2zP-gYkXmK4fUXN_OkbvDIudpmRaijKUD8YQHyvAuquZZx3tpRxtDcT2TFn3bFDx-3bHItsdY1vAads0W8bQxQsywwKZPTKx7T75uYU6unIU9EN71NGAOoqbQCMq6KqlfuNo09Jha2iPijn1mKOIuTkdETeniDfq8TanuNEvydcvny8WJ2nfzCPVHNzk1OSFFUY6p8AncHDOaGklHC6SF5WyYOeD326MYbq0XBotilzbmrsic0IzV4n8FZm1q9a-JhRcjkwxrcEZyLlgXGpjZKnckTKVcdy-IQewM990g9cM39eCIVwLMJzROGbV2yfm35HnI2Lek1m33tgD8kzfds3N-oPX8QOXL4Ax |
| 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+of+the+Seventh+Annual+IEEE+Symposium+on+Logic+in+Computer+Science%2C+Santa+Cruz%2C+California%2C+June+22-25%2C+1992&rft.au=Symposium+on+Logic+in+Computer+Science&rft.au=IEEE+Computer+Society.+Technical+Committee+on+Mathematical+Foundations+of+Computing&rft.au=ACM+Special+Interest+Group+for+Automata+and+Computability+Theory&rft.au=Association+for+Symbolic+Logic&rft.date=1992-01-01&rft.pub=IEEE+Computer+Society+Press&rft.isbn=9780818627354&rft.externalDocID=BA18262000 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818627354/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818627354/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818627354/sc.gif&client=summon&freeimage=true |