skip to content
Formalized mathematics : a computer assisted approach. Preview this item
ClosePreview this item
Checking...

Formalized mathematics : a computer assisted approach.

Author: Uniwersytet w Białymstoku,
Publisher: [Bialystok, Poland] : University of Białystok Warsaw, Poland : De Gruyter Open
Edition/Format:   eJournal/eMagazine : Document : Periodical : EnglishView all editions and formats
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: Periodicals
Additional Physical Format: Formalized mathematics
(DLC) 2005210714
(OCoLC)61705160
Material Type: Document, Periodical, Internet resource
Document Type: Internet Resource, Computer File, Journal / Magazine / Newspaper
All Authors / Contributors: Uniwersytet w Białymstoku,
ISSN:1898-9934
OCLC Number: 310796052
Details: Mode of access: World Wide Web.
Other Titles: Computer assisted approach

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/310796052> # Formalized mathematics : a computer assisted approach.
    a schema:Periodical, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "310796052" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pl> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/478075000#Topic/mathematics> ; # Mathematics
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/478075000#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://id.loc.gov/authorities/subjects/sh85082117> ; # Mathematical analysis--Foundations
    schema:about <http://id.worldcat.org/fast/1012071> ; # Mathematical analysis--Foundations
    schema:about <http://id.loc.gov/authorities/subjects/sh85007169> ; # Arithmetic--Foundations
    schema:about <http://id.worldcat.org/fast/814493> ; # Arithmetic--Foundations
    schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
    schema:alternateName "Computer assisted approach" ;
    schema:contributor <http://viaf.org/viaf/152168990> ; # Uniwersytet w Białymstoku,
    schema:datePublished "1996/9999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/478075000> ;
    schema:genre "Periodicals"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/61705160> ;
    schema:name "Formalized mathematics : a computer assisted approach."@en ;
    schema:productID "310796052" ;
    schema:url <http://versita.metapress.com/content/121073/> ;
    schema:url <http://ejournals.ebsco.com/direct.asp?JournalID=716061> ;
    schema:workExample <http://worldcat.org/issn/1898-9934> ; # Formalized mathematics : a computer assisted approach.
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/310796052> ;
    .


Related Entities

<http://id.loc.gov/authorities/subjects/sh85007169> # Arithmetic--Foundations
    a schema:Intangible ;
    schema:name "Arithmetic--Foundations"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85082117> # Mathematical analysis--Foundations
    a schema:Intangible ;
    schema:name "Mathematical analysis--Foundations"@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/1012071> # Mathematical analysis--Foundations
    a schema:Intangible ;
    schema:name "Mathematical analysis--Foundations"@en ;
    .

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

<http://id.worldcat.org/fast/814493> # Arithmetic--Foundations
    a schema:Intangible ;
    schema:name "Arithmetic--Foundations"@en ;
    .

<http://viaf.org/viaf/152168990> # Uniwersytet w Białymstoku,
    a schema:Organization ;
    schema:name "Uniwersytet w Białymstoku," ;
    .

<http://worldcat.org/entity/work/id/478075000>
    umbel:isLike <http://worldcat.org/issn/1898-9934> ; # Formalized mathematics : a computer assisted approach.
    .

<http://worldcat.org/issn/1898-9934> # Formalized mathematics : a computer assisted approach.
    a schema:Periodical ;
    schema:issn "1898-9934" ;
    schema:name "Formalized mathematics : a computer assisted approach."@en ;
    umbel:isLike <http://worldcat.org/entity/work/id/478075000> ;
    .

<http://www.worldcat.org/oclc/61705160>
    a schema:CreativeWork ;
    rdfs:label "Formalized mathematics" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/310796052> ; # Formalized mathematics : a computer assisted approach.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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