skip to content
ACM transactions on computational logic Preview this item
ClosePreview this item
Checking...

ACM transactions on computational logic

Author: Association for Computing Machinery.
Publisher: New York, NY : Association for Computing Machinery.
Edition/Format:   eJournal/eMagazine : Document : Periodical : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Periodicals
Electronic journals
Périodiques
Additional Physical Format: ACM transactions on computational logic
(DLC) 00211749
Material Type: Document, Periodical, Internet resource
Document Type: Internet Resource, Computer File, Journal / Magazine / Newspaper
All Authors / Contributors: Association for Computing Machinery.
ISSN:1557-945X
OCLC Number: 45535868
Details: Mode of access: World Wide Web.
Other Titles: ACM transactions on computational logic (Online)
ACM transactions on computational logic
Association for Computing Machinery transactions on computational logic
Computational logic
Transactions on computational logic
TOCL

Reviews

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

Tags

Be the first.
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


Primary Entity

<http://www.worldcat.org/oclc/45535868> # ACM transactions on computational logic
    a schema:MediaObject, schema:CreativeWork, schema:Periodical ;
    library:oclcnum "45535868" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/44640353#Place/new_york_ny> ; # New York, NY
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/logica> ; # Logica
    schema:about <http://id.loc.gov/authorities/subjects/sh97004631> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
    schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/informatica> ; # Informatica
    schema:about <http://dewey.info/class/004/a13/> ;
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/logique_informatique> ; # Logique informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:alternateName "TOCL" ;
    schema:alternateName "Transactions on computational logic" ;
    schema:alternateName "Computational logic" ;
    schema:alternateName "Association for Computing Machinery transactions on computational logic" ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/44640353#Organization/association_for_computing_machinery> ; # Association for Computing Machinery.
    schema:datePublished "2000/9999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/44640353> ; # ACM transactions on computational logic (Online)
    schema:genre "Electronic journals"@en ;
    schema:genre "Periodicals"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/44640353#CreativeWork/acm_transactions_on_computational_logic> ;
    schema:name "ACM transactions on computational logic"@en ;
    schema:productID "45535868" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/45535868#PublicationEvent/new_york_ny_association_for_computing_machinery> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/44640353#Agent/association_for_computing_machinery> ; # Association for Computing Machinery.
    schema:url <http://books.google.com/books?id=EkJVAAAAMAAJ> ;
    schema:url <http://books.google.com/books?id=WkRVAAAAMAAJ> ;
    schema:url <http://books.google.com/books?id=RkRVAAAAMAAJ> ;
    schema:url <http://www.acm.org/tocl/> ;
    schema:workExample <http://worldcat.org/issn/1557-945X> ; # ACM transactions on computational logic
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/45535868> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/44640353#Agent/association_for_computing_machinery> # Association for Computing Machinery.
    a bgn:Agent ;
    schema:name "Association for Computing Machinery." ;
    .

<http://experiment.worldcat.org/entity/work/data/44640353#Organization/association_for_computing_machinery> # Association for Computing Machinery.
    a schema:Organization ;
    schema:name "Association for Computing Machinery." ;
    .

<http://experiment.worldcat.org/entity/work/data/44640353#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
    schema:name "Informatique--Mathématiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/44640353#Topic/logique_informatique> # Logique informatique
    a schema:Intangible ;
    schema:name "Logique informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/44640353#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh97004631> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://worldcat.org/entity/work/data/44640353#CreativeWork/acm_transactions_on_computational_logic>
    a schema:CreativeWork ;
    rdfs:label "ACM transactions on computational logic" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/45535868> ; # ACM transactions on computational logic
    .

<http://worldcat.org/entity/work/id/44640353> # ACM transactions on computational logic (Online)
    schema:name "ACM transactions on computational logic (Online)"@en ;
    umbel:isLike <http://worldcat.org/issn/1557-945X> ; # ACM transactions on computational logic
    .

<http://worldcat.org/issn/1557-945X> # ACM transactions on computational logic
    a schema:Periodical ;
    schema:issn "1557-945X" ;
    schema:name "ACM transactions on computational logic"@en ;
    umbel:isLike <http://worldcat.org/entity/work/id/44640353> ; # ACM transactions on computational logic (Online)
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.