Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Suche

Formalized mathematics : a computer assisted approach

Warsaw : Versita 1990 -

http://fm.mizar.org/ [Verlag] kostenfrei zugänglich

https://sciendo.com/journal/forma [Verlag] kostenfrei zugänglich

Diesen Titel auf die Merkliste setzen

Exportieren MARC21xml JSON-LD Turtle RDF/XML Feedback

Mehr Titelinformationen

ZDB-ID

2503975-1

Titel

Formalized mathematics : a computer assisted approach

Erschienen

Warsaw : Versita

Erscheinungsverlauf

1.1990 -

Anmerkungen

Online-Ressource

Andere Ausgaben

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

Standardnummern

ISSN: 1898-9934

DOAJ-8e7494309a454956a45a2c308be80801

OCLC-Nr.: 1368811063

URL

http://fm.mizar.org/ [Verlag] kostenfrei zugänglich

https://sciendo.com/journal/forma [Verlag] kostenfrei zugänglich

https://ezb.ur.de/?2503975-1 [EZB]

Lizenz-/Rechteangaben

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

Sacherschließung

DDC-Sachgruppen der ZDB: 510 Mathematik

Sondersammelgebiet: 17,1

Erscheinungsform

Zeitschrift

Sprache

Erscheinungsland

Medientyp

Online-Ausgabe

IDN

995182450

Letzte Änderung

13-11-24

SchließenxKostenpflichtige Dokumentlieferdienste: Lieferung von Aufsatzkopien und Druckausgaben zur Ausleihe

Bitte beachten Sie: Die ZDB bietet lediglich den Link zum Bestellsystem und übernimmt keinerlei Gewähr für eine erfolgreiche Bestellung. Richten Sie Fragen bitte ausschließlich an die Auskunft Ihrer Heimatbibliothek. Bitte beachten Sie die Bedingungen der einzelnen Anbieter.

Bestand filtern

Fernleihregion

BAW: Baden-Württemberg und Saarland (5) BAY: Bayern (27) BER: Berlin und Brandenburg (5) HAM: Hamburg, Bremen, Schleswig-Holstein und Mecklenburg-Vorpommern (2) HES: Hessen und Teile von Rheinland-Pfalz (2) NIE: Niedersachsen (2) NRW: Nordrhein-Westfalen und Teile von Rheinland-Pfalz (5) SAA: Sachsen-Anhalt (2) THU: Thüringen (1)

Titel exportieren

Inhalt

Exportformat

E-Mail Download

E-Mail

Sortierung

Alle Bestände anzeigen

Aalen HS

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-944]

Bestand

2013 -

URL

https://ezb.ur.de/detail.phtml?bibid=FHA... [EZB Link]
https://www.redi-bw.de/db/ebsco.php?db=a... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Amberg/Oberpfalz THS

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-1046]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Ansbach HS

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-1102]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Augsburg SuStB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-37]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Augsburg THB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-Aug4]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Augsburg UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-384]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Bamberg UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-473]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Bayreuth UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-703]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Berlin Charité Med.Bibl.eZsn

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-578-e]

Bestand

2013 -

URL

https://ezb.ur.de/detail.phtml?bibid=MBC... [EZB Link]
https://ezb.ur.de/ReadMe?bibid=MBCB&owne... [Readme]
https://ezb.ur.de/ReadMe?bibid=MBCB&owne... [Readme]
https://search.ebscohost.com/direct.asp?... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Berlin FU E-Medien

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-188-e]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Bestand

2013 -

Fernleihe

ja, nur Papierkopie - elektronische Übertragung zwischen Bibliotheken ausgeschlossen

URL

https://ezb.ur.de/detail.phtml?bibid=FUB... [EZB Link]
https://ezb.ur.de/ReadMe?bibid=FUB&owner... [Readme]
https://search.ebscohost.com/direct.asp?... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Berlin HTW

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-523]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Bielefeld UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-361]

Bestand

2013 -

URL

https://ezb.ur.de/detail.phtml?bibid=UBB... [EZB Link]
http://www.ub.uni-bielefeld.de/digital/e... [Readme]
http://www.ub.uni-bielefeld.de/fulltext/... [Readme]
https://search.ebscohost.com/direct.asp?... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Coburg HS

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-858]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Cottbus UB Cottbus-Senftenberg

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-634]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Dortmund UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-290]

Bestand

2013 -

URL

https://ezb.ur.de/detail.phtml?bibid=UBD... [EZB Link]
http://www.ub.uni-dortmund.de/zeitschrif... [Readme]
https://search.ebscohost.com/direct.asp?... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Eichstätt UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-824]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Erfurt UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[THU, DE-547]

Bestand

lizenzfrei: 14.2006,1 -

URL

http://www.bibliothek.uni-regensburg.de/...

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Erlangen-Nürnberg UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-29]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Flensburg ZHB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-Fl3]

Bestand

[Volltexte frei zugänglich]

URL

https://ezb.ur.de/?2503975-1&bibid=H...

Frankfurt/M UAS

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HES, DE-946]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Frankfurt/O UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-521]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Gießen UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HES, DE-26]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Hagen FernUB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-708]

Bestand

2013 -

URL

https://ezb.ur.de/detail.phtml?bibid=FUH... [EZB Link]
https://www.fernuni-hagen.de/bibliothek/... [Readme]
http://www.ub.fernuni-hagen.de/datenbank... [Readme]
https://search.ebscohost.com/direct.asp?... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Hannover GWLB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-35]

Bestand

lizenzfrei: 14.2006,1 -

URL

https://ezb.ur.de/?2503975-1&bibid=G...

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Heilbronn HSB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-840]

Bestand

2013 -

URL

https://ezb.ur.de/detail.phtml?bibid=FHH... [EZB Link]
https://www.redi-bw.de/db/ebsco.php?db=a... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Hof HS

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-1051]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Ingolstadt THI

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-573]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Karlsruhe KIT-Bibliothek

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-90]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Kempten HS

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-859]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Kiel UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-8]

Bestand

lizenzfrei: 14.2006,1 -

URL

http://www.bibliothek.uni-regensburg.de/...

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Köln USB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-38]

Bestand

2013 -

URL

https://ezb.ur.de/detail.phtml?bibid=USB... [EZB Link]
https://ub.uni-koeln.de/lernen-ausleihen... [Readme]
https://www.ub.uni-koeln.de/suchen_ausle... [Readme]
https://search.ebscohost.com/direct.asp?... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Köthen HSB HSA

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-Kt1]

URL

https://ezb.ur.de/?2503975-1&bibid=H...

Magdeburg MPI DKTS

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-Ma54]

Fernleihe

nein

URL

https://ezb.ur.de/?2503975-1&bibid=M...

Mannheim UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-180]

Bestand

2013 -

Fernleihe

ja, Kopie, elektronischer Versand an Endnutzer möglich

URL

https://ezb.ur.de/detail.phtml?bibid=UBM... [EZB Link]
https://ezb.ur.de/ReadMe?bibid=UBMAN&own... [Readme]
https://ezb.ur.de/ReadMe?bibid=UBMAN&own... [Readme]
https://www.redi-bw.de/db/ebsco.php?db=a... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

München BSB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-12]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

München Deutsches Museum WGL

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-210]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

München HMB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-M347]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

München UB LMU

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-19]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

München UBTU

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-91]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Münster FH

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-836]

Bestand

2013 -

URL

https://ezb.ur.de/detail.phtml?bibid=FHB... [EZB Link]
https://www.fh-muenster.de/bibliothek/be... [Readme]
https://www.fh-muenster.de/bibliothek/be... [Readme]
https://search.ebscohost.com/direct.asp?... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Neubiberg UniBundeswehr

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-706]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Neuburg/Donau SB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-150]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Nürnberg THB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-92]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Passau UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-739]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Regensburg OTHBR

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-898]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Regensburg SB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-155]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Regensburg UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-355]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Rosenheim THSB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-861]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei

Saarbrücken SULB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-291]

Bestand

2013 -

URL

https://ezb.ur.de/detail.phtml?bibid=SUL... [EZB Link]
https://ezb.ur.de/ReadMe?bibid=SULB&owne... [Readme]
https://ezb.ur.de/ReadMe?bibid=SULB&owne... [Readme]
https://search.ebscohost.com/direct.asp?... [Volltext]

Lizenzinfomationen

Einzellizenz. - kostenpflichtig

Vechta UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-Va1]

URL

https://ezb.ur.de/?2503975-1&bibid=U...

Würzburg UB

Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-20]

Bestand

14.2006 -

URL

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

Lizenzinfomationen

Volltext online und Druckausgabe. - Einzellizenz. - lizenzfrei