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
Database:WorldCat
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://experiment.worldcat.org/entity/work/data/478075000#Organization/uniwersytet_w_bialymstoku> ; # 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://experiment.worldcat.org/entity/work/data/478075000#Organization/uniwersytet_w_bialymstoku> # Uniwersytet w Białymstoku,
    a schema:Organization ;
   schema:name "Uniwersytet w Białymstoku," ;
    .

<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://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.