ACM transactions on computational logic
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic Serial |
| Language: | English |
| Published: |
New York, NY :
Association for Computing Machinery,
©2000-2023.
|
| Subjects: | |
| Online Access: | Enlace del recurso |
| _version_ | 1849706530999369728 |
|---|---|
| author_corporate | Association for Computing Machinery |
| author_corporate_role | |
| author_facet | Association for Computing Machinery |
| building | Library A |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L63 A3 |
| callnumber-search | QA76.9.L63 A3 |
| callnumber-sort | QA 276.9 L63 A3 |
| callnumber-subject | QA - Mathematics |
| collection | Ebsco Computers & Applied Sciences Complete |
| ctrlnum | (EBZ)ebs565668e |
| dateSpan | Vol. 1, no. 1 (July 2000)- Ceased with: Volume 24, number 4 (2023). |
| format | Electronic Serial |
| fullrecord | {"leader":"02574cas a22006132a 4500","fields":[{"001":"ebs565668e"},{"003":"EBZ"},{"006":"m d ||||||"},{"007":"cr|unu||||||||"},{"008":"000324d20002023nyuqr j o 0 a0eng c"},{"022":{"subfields":[{"a":"1557-945X"},{"y":"1529-3785"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"a":"(EBZ)ebs565668e"}],"ind1":" ","ind2":" "}},{"040":{"subfields":[{"a":"NSD "},{"b":"eng "},{"d":"EBZ"}],"ind1":" ","ind2":" "}},{"042":{"subfields":[{"a":"pcc nsdp"}],"ind1":" ","ind2":" "}},{"050":{"subfields":[{"a":"QA76.9.L63"},{"b":"A3"}],"ind1":"0","ind2":"0"}},{"130":{"subfields":[{"a":"ACM transactions on computational logic (Online)"}],"ind1":"0","ind2":" "}},{"222":{"subfields":[{"a":"ACM transactions on computational logic"}],"ind1":"1","ind2":"0"}},{"245":{"subfields":[{"a":"ACM transactions on computational logic"},{"h":"[electronic resource]."}],"ind1":"0","ind2":"0"}},{"246":{"subfields":[{"a":"Association for Computing Machinery transactions on computational logic"}],"ind1":"3","ind2":" "}},{"246":{"subfields":[{"a":"Computational logic"}],"ind1":"3","ind2":"0"}},{"246":{"subfields":[{"a":"Transactions on computational logic"}],"ind1":"3","ind2":"0"}},{"246":{"subfields":[{"a":"TOCL"}],"ind1":"1","ind2":"3"}},{"246":{"subfields":[{"a":"\u7f8e\u56fd\u8ba1\u7b97\u673a\u534f\u4f1a\u8ba1\u7b97\u903b\u8f91\u4f1a\u62a5"}],"ind1":"2","ind2":" "}},{"260":{"subfields":[{"a":"New York, NY :"},{"b":"Association for Computing Machinery,"},{"c":"©2000-2023."}],"ind1":" ","ind2":" "}},{"310":{"subfields":[{"a":"Quarterly"}],"ind1":" ","ind2":" "}},{"362":{"subfields":[{"a":"Vol. 1, no. 1 (July 2000)-"}],"ind1":"0","ind2":" "}},{"362":{"subfields":[{"a":"Ceased with: Volume 24, number 4 (2023)."}],"ind1":"1","ind2":" "}},{"500":{"subfields":[{"a":"Title from cover."}],"ind1":" ","ind2":" "}},{"515":{"subfields":[{"a":"Vol. 1 complete with 2 issues."}],"ind1":" ","ind2":" "}},{"650":{"subfields":[{"a":"Computer logic"},{"v":"Periodicals."}],"ind1":" ","ind2":"0"}},{"650":{"subfields":[{"a":"Logic, Symbolic and mathematical"},{"v":"Periodicals."}],"ind1":" ","ind2":"0"}},{"650":{"subfields":[{"a":"Computer science"},{"x":"Mathematics"},{"v":"Periodicals."}],"ind1":" ","ind2":"0"}},{"650":{"subfields":[{"a":"Logique informatique"},{"v":"Pe\u0301riodiques."}],"ind1":" ","ind2":"6"}},{"650":{"subfields":[{"a":"Logique symbolique et mathe\u0301matique"},{"v":"Pe\u0301riodiques."}],"ind1":" ","ind2":"6"}},{"650":{"subfields":[{"a":"Informatique"},{"x":"Mathe\u0301matiques"},{"v":"Pe\u0301riodiques."}],"ind1":" ","ind2":"6"}},{"650":{"subfields":[{"a":"Computer logic."},{"2":"fast"},{"0":"(OCoLC)fst00872265"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Computer science"},{"x":"Mathematics."},{"2":"fast"},{"0":"(OCoLC)fst00872460"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Logic, Symbolic and mathematical."},{"2":"fast"},{"0":"(OCoLC)fst01002068"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Mathematische Logik"},{"2":"gnd"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Online-Ressource"},{"2":"gnd"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Zeitschrift"},{"2":"gnd"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Informatica."},{"2":"gtt"}],"ind1":"1","ind2":"7"}},{"650":{"subfields":[{"a":"Logica."},{"2":"gtt"}],"ind1":"1","ind2":"7"}},{"650":{"subfields":[{"a":"Mathematische Logik."},{"2":"swd"}],"ind1":"0","ind2":"7"}},{"650":{"subfields":[{"a":"Online-Publikation."},{"2":"swd"}],"ind1":"0","ind2":"7"}},{"650":{"subfields":[{"a":"Zeitschrift."},{"2":"swd"}],"ind1":"0","ind2":"7"}},{"655":{"subfields":[{"a":"Periodicals."},{"2":"fast"},{"0":"(OCoLC)fst01411641"}],"ind1":" ","ind2":"7"}},{"655":{"subfields":[{"a":"Periodicals."},{"2":"lcgft"}],"ind1":" ","ind2":"7"}},{"710":{"subfields":[{"a":"Association for Computing Machinery."}],"ind1":"2","ind2":" "}},{"773":{"subfields":[{"t":"Computers & Applied Sciences Complete "},{"d":"EBSCO"}],"ind1":"0","ind2":" "}},{"776":{"subfields":[{"i":"Continued online:"},{"t":"ACM transactions on computational logic (Online)"},{"x":"1557-945X"},{"w":"(DLC) 2005214027"},{"w":"(OCoLC)45535868"}],"ind1":"0","ind2":"8"}},{"776":{"subfields":[{"t":"ACM transactions on computational logic"},{"x":"1529-3785"},{"w":"(OCoLC)43702797"},{"w":"(DLC)00211749"}],"ind1":"1","ind2":" "}},{"856":{"subfields":[{"3":"Full text available: Apr 2006-."},{"u":"https://uwiener.metaproxy.org/UWIENER?url=https://search.ebscohost.com/direct.asp?db=iih&jid=88D&scope=site"},{"z":"Enlace del recurso"}],"ind1":"4","ind2":"0"}},{"901":{"subfields":[{"a":"Academic Journal"}],"ind1":" ","ind2":" "}}]}
|
| genre | Periodicals. fast (OCoLC)fst01411641 Periodicals. lcgft |
| genre_facet | Periodicals. Périodiques. |
| id | ebs565668e |
| illustrated | Illustrated |
| institution | EBSCO |
| issn | 1557-945X 1529-3785 |
| language | English |
| publishDate | 2000 |
| publisher | Association for Computing Machinery, |
| record_format | marc |
| spelling | ACM transactions on computational logic (Online) ACM transactions on computational logic ACM transactions on computational logic [electronic resource]. Association for Computing Machinery transactions on computational logic Computational logic Transactions on computational logic TOCL 美国计算机协会计算逻辑会报 New York, NY : Association for Computing Machinery, ©2000-2023. Quarterly Vol. 1, no. 1 (July 2000)- Ceased with: Volume 24, number 4 (2023). Title from cover. Vol. 1 complete with 2 issues. Computer logic Periodicals. Logic, Symbolic and mathematical Periodicals. Computer science Mathematics Periodicals. Logique informatique Périodiques. Logique symbolique et mathématique Périodiques. Informatique Mathématiques Périodiques. Computer logic. fast (OCoLC)fst00872265 Computer science Mathematics. fast (OCoLC)fst00872460 Logic, Symbolic and mathematical. fast (OCoLC)fst01002068 Mathematische Logik gnd Online-Ressource gnd Zeitschrift gnd Informatica. gtt Logica. gtt Mathematische Logik. swd Online-Publikation. swd Zeitschrift. swd Periodicals. fast (OCoLC)fst01411641 Periodicals. lcgft Association for Computing Machinery. Computers & Applied Sciences Complete EBSCO Continued online: ACM transactions on computational logic (Online) 1557-945X (DLC) 2005214027 (OCoLC)45535868 ACM transactions on computational logic 1529-3785 (OCoLC)43702797 (DLC)00211749 Full text available: Apr 2006-. https://uwiener.metaproxy.org/UWIENER?url=https://search.ebscohost.com/direct.asp?db=iih&jid=88D&scope=site Enlace del recurso |
| spellingShingle | ACM transactions on computational logic Computer logic Periodicals. Logic, Symbolic and mathematical Periodicals. Computer science Mathematics Periodicals. Logique informatique Périodiques. Logique symbolique et mathématique Périodiques. Informatique Mathématiques Périodiques. Computer logic. fast (OCoLC)fst00872265 Computer science Mathematics. fast (OCoLC)fst00872460 Logic, Symbolic and mathematical. fast (OCoLC)fst01002068 Mathematische Logik gnd Online-Ressource gnd Zeitschrift gnd Informatica. gtt Logica. gtt Mathematische Logik. swd Online-Publikation. swd Zeitschrift. swd |
| thumbnail | /EBSCO/ebsco_computers/logo.png |
| title | ACM transactions on computational logic |
| title_alt | ACM transactions on computational logic (Online) Association for Computing Machinery transactions on computational logic Computational logic Transactions on computational logic TOCL 美国计算机协会计算逻辑会报 |
| title_auth | ACM transactions on computational logic |
| title_full | ACM transactions on computational logic [electronic resource]. |
| title_fullStr | ACM transactions on computational logic [electronic resource]. |
| title_full_unstemmed | ACM transactions on computational logic [electronic resource]. |
| title_short | ACM transactions on computational logic |
| title_sort | acm transactions on computational logic |
| topic | Computer logic Periodicals. Logic, Symbolic and mathematical Periodicals. Computer science Mathematics Periodicals. Logique informatique Périodiques. Logique symbolique et mathématique Périodiques. Informatique Mathématiques Périodiques. Computer logic. fast (OCoLC)fst00872265 Computer science Mathematics. fast (OCoLC)fst00872460 Logic, Symbolic and mathematical. fast (OCoLC)fst01002068 Mathematische Logik gnd Online-Ressource gnd Zeitschrift gnd Informatica. gtt Logica. gtt Mathematische Logik. swd Online-Publikation. swd Zeitschrift. swd |
| topic_facet | Computer logic Logic, Symbolic and mathematical Computer science Logique informatique Logique symbolique et mathématique Informatique Computer logic. Logic, Symbolic and mathematical. Mathematische Logik Online-Ressource Zeitschrift Informatica. Logica. Mathematische Logik. Online-Publikation. Zeitschrift. Mathematics Mathématiques Mathematics. |
| url | https://uwiener.metaproxy.org/UWIENER?url=https://search.ebscohost.com/direct.asp?db=iih&jid=88D&scope=site |
| work_keys_str_mv | UT acmtransactionsoncomputationallogiconline AT associationforcomputingmachinery acmtransactionsoncomputationallogic AT associationforcomputingmachinery associationforcomputingmachinerytransactionsoncomputationallogic AT associationforcomputingmachinery computationallogic AT associationforcomputingmachinery transactionsoncomputationallogic AT associationforcomputingmachinery tocl AT associationforcomputingmachinery měiguójìsuànjīxiéhuìjìsuànluójíhuìbào |
