コンテンツへ移動
ACM transactions on computational logic. 資料のプレビュー
閉じる資料のプレビュー
確認中…

ACM transactions on computational logic.

著者: Association for Computing Machinery.
出版: New York, NY : Association for Computing Machinery, ©2000-
エディション/フォーマット:   ジャーナル・雑誌 : Periodical : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オンラインで入手

この資料へのリンク

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ジャンル/形式: Periodicals
Périodiques
その他のフォーマット: Transactions on computational logic (Online)
(DLC) 2005214027
資料の種類: Periodical, インターネット資料
ドキュメントの種類: ジャーナル/雑誌/新聞, インターネットリソース
すべての著者/寄与者: Association for Computing Machinery.
ISSN:1529-3785
OCLC No.: 43702797
注記: Title from cover.
物理形態: v. ; 26 cm.
その他のタイトル: ACM transactions on computational logic
Association for Computing Machinery transactions on computational logic
Computational logic
Transactions on computational logic
TOCL

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


Primary Entity

<http://www.worldcat.org/oclc/43702797> # ACM transactions on computational logic.
    a schema:Periodical, schema:CreativeWork ;
   library:oclcnum "43702797" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/44640353#Place/new_york_ny> ; # New York, NY
   schema:about <http://id.loc.gov/authorities/subjects/sh97004631> ; # Computer logic
   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/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/zeitschrift> ; # Zeitschrift
   schema:about <http://dewey.info/class/004/a13/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/informatica> ; # Informatica
   schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
   schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/online_publikation> ; # Online-Publikation
   schema:about <http://experiment.worldcat.org/entity/work/data/44640353#Topic/logique_informatique> ; # Logique informatique
   schema:alternateName "Computational logic" ;
   schema:alternateName "Transactions on computational logic" ;
   schema:alternateName "TOCL" ;
   schema:alternateName "Association for Computing Machinery transactions on computational logic" ;
   schema:contributor <http://viaf.org/viaf/133611413> ; # Association for Computing Machinery.
   schema:copyrightYear "2000" ;
   schema:datePublished "2000/9999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/44640353> ;
   schema:genre "Periodicals"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/44640353#CreativeWork/transactions_on_computational_logic_online> ;
   schema:name "ACM transactions on computational logic."@en ;
   schema:productID "43702797" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/43702797#PublicationEvent/new_york_ny_association_for_computing_machinery_c2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/44640353#Agent/association_for_computing_machinery> ; # Association for Computing Machinery
   schema:url <http://www.acm.org/pubs/contents/journals/tocl/> ;
   schema:workExample <http://worldcat.org/issn/1529-3785> ; # ACM transactions on computational logic.
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/43702797> ;
    .


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#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://experiment.worldcat.org/entity/work/data/44640353#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/44640353#Topic/online_publikation> # Online-Publikation
    a schema:Intangible ;
   schema:name "Online-Publikation"@en ;
    .

<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://viaf.org/viaf/133611413> # Association for Computing Machinery.
    a schema:Organization ;
   schema:name "Association for Computing Machinery." ;
    .

<http://worldcat.org/entity/work/data/44640353#CreativeWork/transactions_on_computational_logic_online>
    a schema:CreativeWork ;
   rdfs:label "Transactions on computational logic (Online)" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/43702797> ; # ACM transactions on computational logic.
    .

<http://worldcat.org/entity/work/id/44640353>
   umbel:isLike <http://worldcat.org/issn/1529-3785> ; # ACM transactions on computational logic.
    .

<http://worldcat.org/issn/1529-3785> # ACM transactions on computational logic.
    a schema:Periodical ;
   schema:issn "1529-3785" ;
   schema:name "ACM transactions on computational logic."@en ;
   umbel:isLike <http://worldcat.org/entity/work/id/44640353> ;
    .


Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.