skip to content
Journal of formalized reasoning. Preview this item
ClosePreview this item
Checking...

Journal of formalized reasoning.

Publisher: Bologna, Italy : Centro Inter-Bibliotecario
Edition/Format:   eJournal/eMagazine : Document : 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
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File, Journal / Magazine / Newspaper
ISSN:1972-5787
OCLC Number: 456198191
Other Titles: Journal of Formalized Reasoning

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/456198191> # Journal of formalized reasoning.
    a schema:MediaObject, schema:Periodical, schema:CreativeWork ;
    library:oclcnum "456198191" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/it> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/364658864#Place/bologna_italy> ; # Bologna, Italy
    schema:about <http://id.worldcat.org/fast/932947> ; # Formalization (Linguistics)
    schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/364658864#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://id.loc.gov/authorities/subjects/sh85084269> ; # Metamathematics
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://id.worldcat.org/fast/1018261> ; # Metamathematics
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:datePublished "2008/9999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/364658864> ;
    schema:genre "Periodicals"@en ;
    schema:inLanguage "en" ;
    schema:name "Journal of formalized reasoning."@en ;
    schema:productID "456198191" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/456198191#PublicationEvent/bologna_italy_centro_inter_bibliotecario> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/364658864#Agent/centro_inter_bibliotecario> ; # Centro Inter-Bibliotecario
    schema:url <http://jfr.cib.unibo.it/> ;
    schema:url <http://bibpurl.oclc.org/web/44997> ;
    schema:workExample <http://worldcat.org/issn/1972-5787> ; # Journal of formalized reasoning.
    umbel:isLike <http://d-nb.info/994196342> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/456198191> ;
    .


Related Entities

<http://bibpurl.oclc.org/web/44997>
    rdfs:comment "Freely available from Directory of Open Access Journals: 2008 to present" ;
    .

<http://experiment.worldcat.org/entity/work/data/364658864#Agent/centro_inter_bibliotecario> # Centro Inter-Bibliotecario
    a bgn:Agent ;
    schema:name "Centro Inter-Bibliotecario" ;
    .

<http://experiment.worldcat.org/entity/work/data/364658864#Place/bologna_italy> # Bologna, Italy
    a schema:Place ;
    schema:name "Bologna, Italy" ;
    .

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

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@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/1018261> # Metamathematics
    a schema:Intangible ;
    schema:name "Metamathematics"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/932947> # Formalization (Linguistics)
    a schema:Intangible ;
    schema:name "Formalization (Linguistics)"@en ;
    .

<http://jfr.cib.unibo.it/>
    rdfs:comment "Freely available from Directory of Open Access Journals: 2008 to present" ;
    .

<http://worldcat.org/entity/work/id/364658864>
    umbel:isLike <http://worldcat.org/issn/1972-5787> ; # Journal of formalized reasoning.
    .

<http://worldcat.org/issn/1972-5787> # Journal of formalized reasoning.
    a schema:Periodical ;
    schema:issn "1972-5787" ;
    schema:name "Journal of formalized reasoning."@en ;
    umbel:isLike <http://worldcat.org/entity/work/id/364658864> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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