Additional Resources: Full title display

Title:	Journal of Formalized Mathematics
Full text online since:	Vol. 1, 1989
Subject Area:	Science
Subject Heading:	Theoretische Mathematik
Website:	http://mizar.uwb.edu.pl/JFM/
Publisher:	University of Nagano
Frequency (of publication):	Volltext, nur online
Cost:	kostenlos
ZDB Number:	2007656-3
EZB-ID:	9143

Please select a fomat and save the data, next, you provide an e-mail address and have the data delivered there.

BibTeX Citavi, JabRef, et al.
(Reference Management)

PDF No full text!
(Notepad, Notes)

RIS Endnote, Citavi, e.a.
(Reference Management)

MODS
(XML for further processing)

or

Select the appropriate citation format, copy it to the clipboard, and have it sent by e-mail or save it as a PDF file.

Citation style selected:

or

Please check that the citation is formally correct prior to using it in a paper. You might like to use the "Export" dialogue for formatting citations yourself for a reference management program.

Journal of Formalized Mathematics