Inhalt

Suche

Neue Suche

Formalized mathematics : a computer assisted approach

Warsaw : Univ., Bialystok Branch 1.1990 -

Diesen Titel auf die Merkliste setzen

Optionen

Exportieren MARC21xml JSON-LD Turtle RDF/XML Feedback

Bestellen

Mehr Titelinformationen

ZDB-ID

1438147-3

Titel

Formalized mathematics : a computer assisted approach

Erschienen

Warsaw : Univ., Bialystok Branch

Brussels [1990-1993]

Erscheinungsverlauf

1.1990 -

Andere Ausgaben

Erscheint auch als Online-Ausgabe: Journal of formalized mathematics

Erscheint auch als Online-Ausgabe: Formalized mathematics (ISSN: 1898-9934)

Standardnummern

ISSN: 1426-2630

OCLC-Nr.: 1368079420

Sacherschließung

DDC-Sachgruppen der ZDB: 510 Mathematik

Sondersammelgebiet: 17,1

Erscheinungsform

Zeitschrift

Erscheinungsland

Polen

Medientyp

Druckausgabe

IDN

019321430

Letzte Änderung

11-07-18

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.