Content

New search

Formalized mathematics : a computer assisted approach

Warsaw : Versita 1.1990 -

http://fm.mizar.org/ [Publisher] free of charge

https://sciendo.com/journal/forma [Publisher] free of charge

Place this title record on the watch list

Options

Export MARC21xml JSON-LD Turtle RDF/XML

Order options

More title information

ZDB-ID

2503975-1

Title

Formalized mathematics : a computer assisted approach

Published

Warsaw : Versita

Publication history

1.1990 -

Notes

Online-Ressource

Other editions

Erscheint auch als Druck-Ausgabe: Formalized mathematics (ISSN: 1426-2630)

Standard numbers

ISSN: 1898-9934

DOAJ-8e7494309a454956a45a2c308be80801

OCLC number: 1368811063

URL

http://fm.mizar.org/ [Publisher] free of charge

https://sciendo.com/journal/forma [Publisher] free of charge

http://www.bibliothek.uni-regensburg.de/... [EZB]

License/legal information

Open Access. Source: DOAJ. Creative Commons : CC BY-NC-ND 4.0.

Subject indexing

DDC subject groups: 510 Mathematics

Special subject collections: 17,1

Manifestation

journal

Language

English

Country of publication

Poland

Media type

available online

IDN

995182450

Last Change

29-07-21

ClosexDelivery services

Please note: The ZDB only provides links to the delivery services. Please note the providers’ terms of service.

Filter holdings

Interlibrary loan region

BAW: Baden-Württemberg and Saarland (2) BAY: Bavaria (27) BER: Berlin and Brandenburg (5) HES: Hesse and parts of Rhineland-Palatinate (2)

Export title record

Close x

Content

Preview

Export format

Email Download

E-mail

Sorted by

Display all holding information

Amberg/Oberpfalz THS

Link to library information[BAY, DE-1046]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Ansbach HS

Link to library information[BAY, DE-1102]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Augsburg SuStB

Link to library information[BAY, DE-37]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Augsburg UB

Link to library information[BAY, DE-384]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Bamberg UB

Link to library information[BAY, DE-473]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Bayreuth UB

Link to library information[BAY, DE-703]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Berlin Charité Med.Bibl.eZsn

Link to library information[BER, DE-578-e]

Holdings

2013 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
http://ezb.ur.de/ReadMe?bibid=MBCB&owner... [Read me]
https://search.ebscohost.com/direct.asp?... [Volltext]

Licence

consortium licence. - subject to fee

Berlin FU E-Medien

Link to library information[BER, DE-188-e]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Holdings

2013 -

Interlibrary loan

yes, paper copy only

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
http://ezb.ur.de/ReadMe?bibid=FUB&owner=... [Read me]
https://search.ebscohost.com/direct.asp?... [Volltext]

Licence

consortium licence. - subject to fee

Berlin HTW

Link to library information[BER, DE-523]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Coburg HS

Link to library information[BAY, DE-858]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Cottbus UB Cottbus-Senftenberg

Link to library information[BER, DE-634]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Eichstätt UB

Link to library information[BAY, DE-824]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Erlangen-Nürnberg UB

Link to library information[BAY, DE-29]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Frankfurt/M UAS

Link to library information[HES, DE-946]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Frankfurt/O UB

Link to library information[BER, DE-521]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Gießen UB

Link to library information[HES, DE-26]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Hof HS

Link to library information[BAY, DE-1051]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Ingolstadt THI

Link to library information[BAY, DE-573]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Karlsruhe KIT-Bibliothek

Link to library information[BAW, DE-90]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Kempten HS

Link to library information[BAY, DE-859]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

München BSB

Link to library information[BAY, DE-12]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

München Deutsches Museum WGL

Link to library information[BAY, DE-210]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

München HMB

Link to library information[BAY, DE-M347]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

München UB LMU

Link to library information[BAY, DE-19]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

München UBTU

Link to library information[BAY, DE-91]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Neubiberg UniBundeswehr

Link to library information[BAY, DE-706]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Neuburg/Donau SB

Link to library information[BAY, DE-150]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Nürnberg THB

Link to library information[BAY, DE-92]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Passau UB

Link to library information[BAY, DE-739]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Regensburg OTHBR

Link to library information[BAY, DE-898]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Regensburg SB

Link to library information[BAY, DE-155]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Regensburg UB

Link to library information[BAY, DE-355]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Rosenheim THSB

Link to library information[BAY, DE-861]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Saarbrücken SULB

Link to library information[BAW, DE-291]

Holdings

2013 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
http://ezb.ur.de/ReadMe?bibid=SULB&owner... [Read me]
https://search.ebscohost.com/direct.asp?... [Volltext]

Licence

consortium licence. - subject to fee

Würzburg UB

Link to library information[BAY, DE-20]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Technische Hochschule Augsburg, Bibliothek

Link to library information[BAY, DE-Aug4]

Holdings

14.2006 -

URL

http://www.bibliothek.uni-regensburg.de/... [EZB Link]
https://content.sciendo.com/view/journal... [Volltext]

Licence

full text, online and print editions available. - single licence. - no licence required

Zeitschriftendatenbank

Main navigation

Content

Formalized mathematics : a computer assisted approach

Filter holdings

Year of publication

Interlibrary loan region

Location of library