skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
ACM transactions on computational logic : TOCL. Preview this item
ClosePreview this item
Checking...

ACM transactions on computational logic : TOCL.

Author: Association for Computing Machinery
Publisher: New York, NY Association for Computing Machinery 2000-
Edition/Format:   eJournal/eMagazine : English
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Zeitschrift
Additional Physical Format: Druckausg.:
Association for Computing Machinery.
ACM transactions on computational logic.
New York, NY : ACM, 2000-
(DE-604)BV013823127
Material Type: Internet resource
Document Type: Internet Resource, Computer File, Journal / Magazine / Newspaper
All Authors / Contributors: Association for Computing Machinery
ISSN:1529-3785
OCLC Number: 1165581578
Notes: Gesehen am 15.06.20.
Description: Online-Ressource
Other Titles: Transactions on computational logic
TOCL

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/1165581578<\/a>> # ACM transactions on computational logic : TOCL.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Periodical<\/a>, schema:MediaObject<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1165581578<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/nyu<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/10343930891#Topic\/mathematische_logik<\/a>> ; # Mathematische Logik<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/10343930891#Topic\/online_ressource<\/a>> ; # Online-Ressource<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/10343930891#Topic\/zeitschrift<\/a>> ; # Zeitschrift<\/span>\n\u00A0\u00A0\u00A0\nschema:alternateName<\/a> \"TOCL<\/span>\" ;\u00A0\u00A0\u00A0\nschema:alternateName<\/a> \"Transactions on computational logic<\/span>\" ;\u00A0\u00A0\u00A0\nschema:author<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/10343930891#Organization\/association_for_computing_machinery<\/a>> ; # Association for Computing Machinery<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2000\/9999<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/10343930891<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Zeitschrift<\/span>\" ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/10343930891#CreativeWork\/acm_transactions_on_computational_logic<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"ACM transactions on computational logic : TOCL.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1165581578<\/span>\" ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/www.bibliothek.uni-regensburg.de\/ezeit\/?2025647<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/dl.acm.org\/loi\/tocl<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/issn\/1529-3785<\/a>> ; # ACM transactions on computational logic : TOCL.<\/span>\n\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1165581578<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/10343930891#Organization\/association_for_computing_machinery<\/a>> # Association for Computing Machinery<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Organization<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Association for Computing Machinery<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/10343930891#Topic\/mathematische_logik<\/a>> # Mathematische Logik<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mathematische Logik<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/10343930891#Topic\/online_ressource<\/a>> # Online-Ressource<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Online-Ressource<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/10343930891#Topic\/zeitschrift<\/a>> # Zeitschrift<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Zeitschrift<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/nyu<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"nyu<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/data\/10343930891#CreativeWork\/acm_transactions_on_computational_logic<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"ACM transactions on computational logic.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Druckausg.:<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/1165581578<\/a>> ; # ACM transactions on computational logic : TOCL.<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/id\/10343930891<\/a>>\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/worldcat.org\/issn\/1529-3785<\/a>> ; # ACM transactions on computational logic : TOCL.<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/issn\/1529-3785<\/a>> # ACM transactions on computational logic : TOCL.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Periodical<\/a> ;\u00A0\u00A0\u00A0\nschema:issn<\/a> \"1529-3785<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"ACM transactions on computational logic : TOCL.<\/span>\" ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/10343930891<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n