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
München BSB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-12]
Bestand
Signatur
4 Z 40.377
Bestand
Am heimischen Herd [1936]
Fernleihe
ja, Kopie und Ausleihe
Signatur
4 Eph.pol. 60 g
Bestand
1894 - 1903; 1910 - 1936
[Beil.: Rink, Heinrich: Entwicklung von Weinbau, Obstkultur u. Kirschenzucht im Laufe der Jahrhunderte im Forchheimer und Weingartser Umland einst und jetzt = SIGN.: 4 36.546. - QK.-Imagenr.: 50833207]
Fernleihe
ja, Kopie und Ausleihe