passa ai contenuti
Journal of formalized reasoning. Anteprima di questo documento
ChiudiAnteprima di questo documento
Verifica in corso…

Journal of formalized reasoning.

Pubblicazione: Bologna, Italy : Centro Inter-Bibliotecario.
Edizione/Formato:   Rivista, giornale : Document   Computer file : EnglishVedi tutte le edizioni e i formati
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/formato: Periodicals
Tipo materiale: Document
Tipo documento Rivista / giornale / quotidiano, Computer file
{0}1972-5787
Numero OCLC: 1010719136
Note: Refereed/Peer-reviewed.
Altri titoli: Journal of Formalized Reasoning

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Linked data


Primary Entity

<http://www.worldcat.org/oclc/1010719136> # Journal of formalized reasoning.
    a schema:Periodical, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "1010719136" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/364658864#Place/bologna_italy> ; # Bologna, Italy
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/it> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/364658864#Topic/formalization_linguistics> ; # Formalization (Linguistics)
   schema:about <http://experiment.worldcat.org/entity/work/data/364658864#Topic/proof_theory> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/364658864#Topic/metamathematics> ; # Metamathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/364658864#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:datePublished "2008/9999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/364658864> ;
   schema:genre "Periodicals" ;
   schema:inLanguage "en" ;
   schema:name "Journal of formalized reasoning." ;
   schema:productID "1010719136" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/1010719136#PublicationEvent/bologna_italy_centro_inter_bibliotecario> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/364658864#Agent/centro_inter_bibliotecario> ; # Centro Inter-Bibliotecario.
   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/1010719136> ;
    .


Related Entities

<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#Topic/formalization_linguistics> # Formalization (Linguistics)
    a schema:Intangible ;
   schema:name "Formalization (Linguistics)" ;
    .

<http://experiment.worldcat.org/entity/work/data/364658864#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

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


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.