Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Neue Suche

Formalized mathematics : a computer assisted approach

Warsaw : Versita 1990 -

http://fm.mizar.org/ [Verlag] kostenfrei zugänglich 
https://reference-global.com/journal/FOR... [Verlag] kostenfrei zugänglich 

Diesen Titel auf die Merkliste setzen
Optionen
ExportierenMARC21xmlJSON-LDTurtleRDF/XMLFeedback
Bestellen
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://reference-global.com/journal/FOR...  [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

Englisch 

Erscheinungsland

Polen 

Medientyp

Online-Ausgabe

IDN

995182450

Letzte Änderung

24-10-25

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

Bestand filtern
Bestand filtern

Erscheinungsjahr

Fernleihregion

Ort der Bibliothek

Titel exportieren
Schließen x
Sortierung
Alle Bestände anzeigen
Berlin UBTU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-83]
Bestand
Signatur
7Z135
Standort
Magazin
Bestand
2007
Fernleihe
ja, nur Papierkopie
Frankfurt/M DNB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HES, DE-101b]
Bestand
Signatur
Z 2007 CRA 85
Bestand
2007 - 2024
[Ab 2021 Einzelheftnachweis]
Fernleihe
ja, nur Papierkopie
Fulda HLSB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HES, DE-66-0]
Bestand
Signatur
23 CD / XE 4400 R537
Standort
EG, Medienwannen
Bestand
[Jeweils aktuelle CD-ROM vorhanden]
Fernleihe
ja, Kopie und Ausleihe
Gießen TH Mittelhessen
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HES, DE-974]
Bestand
Signatur
med 310 35, CD +1
Standort
UG
Bestand
2017 - 2021
Fernleihe
ja, nur Papierkopie
Signatur
med 310 35, CD
Standort
UG
Bestand
2019 - 2021
Fernleihe
ja, nur Papierkopie
Hamburg Ärztl. ZB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-18-64]
Bestand
Signatur
Med CD 412
Standort
18/64
Bestand
2024, Februar
[Ausgabe in der Leihstelle]
Fernleihe
nein
Hannover MedHS
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-354]
Bestand
Signatur
YCZ 0118
Standort
Magazin
Fernleihe
ja, Kopie und Ausleihe
Leipzig DNB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAX, DE-101a]
Bestand
Signatur
Z 2007 CRA 85
Bestand
2007 - 2024
[Ab 2021 Einzelheftnachweis]
Fernleihe
ja, nur Papierkopie
München BSB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-12]
Bestand
Signatur
CF 2007.554
Bestand
2007; 2009 - 2015
Fernleihe
ja, Kopie und Ausleihe
Signatur
CF 2017.296
Bestand
2016 - 2021,11; 2024,2
Fernleihe
ja, Kopie und Ausleihe
München UB LMU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-19]
Bestand
Standort
0700 / Standortsignatur: 0700/Med.C 179
Bestand
2007; 2009 - 2010; 2016 - 2021
[PV]
Fernleihe
nein
Münster Medizin
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-6-M]
Bestand
Signatur
YE 30025
Bestand
[CD-ROM. - Nur jeweils neueste Ausgabe]
Fernleihe
ja, Kopie und Ausleihe
Speyer Pfälzische LB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-107]
Bestand
Signatur
DB 1780
Bestand
2021 -
Fernleihe
ja, Kopie und Ausleihe
Stuttgart WLB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-24]
Bestand
Signatur
57a/76681
Bestand
2007
[CD-ROM-Ausg., 12 cm]
Fernleihe
ja, Kopie und Ausleihe
Signatur
60a/76620
Bestand
2009
[CD-ROM-Ausg., 12 cm]
Fernleihe
ja, Kopie und Ausleihe
Signatur
60a/76828
Bestand
2010
[CD-ROM-Ausg., 12 cm]
Fernleihe
ja, Kopie und Ausleihe
Signatur
61a/76785
Bestand
2011
[CD-ROM-Ausg., 12 cm]
Fernleihe
ja, Kopie und Ausleihe
Signatur
Za 170677
Bestand
2012 - 2021
[CD-ROM-Ausg., 12 cm]
Fernleihe
ja, Kopie und Ausleihe