Formalized mathematics: a computer assisted approach.

Formalized mathematics: a computer assisted approach.
  • Produkt eJournal / Elektronische Zeitschrift
  • ISSN 1898-9934
  • Land Polen
  • Ort Warszawa
  • Verlag De Gruyter
  • Zugriff Open Access
  • Artikel-Nr. Z03873E

Pioneering Journal in the field of formalized and mechanically checked mathematics. Excellent articles on latest research in formal methods and computer-checked mathematics. Archival issues available at the journal's home page http://fm.mizar.org/.

Open Access Access

Dieser Titel ist im OpenAccess verfügbar und erlaubt daher freien Zugriff.

Dieser Titel ist bei Kubon & Sagner als gedruckte Ausgabe nicht erhältlich.

MARC21:
MARCXML:
Schema.org:
Citavi:
Persistenter Link: http://digital.kubon-sagner.com/title/Z03873E/