Rasmiy fikrlash jurnali - Journal of Formalized Reasoning

Rasmiy fikrlash jurnali  
IntizomMatematik rasmiylashtirish
TilIngliz tili
Tahrirlangan tomonidanAndrea Asperti
Nashr tafsilotlari
Tarix2008 yil - hozirgi kunga qadar
Nashriyotchi
ChastotaniIkki yillik
Ha
Standart qisqartmalar
ISO 4J. Formaliz. Sabab.
Indekslash
ISSN1972-5787
OCLC yo'q.456198191
Havolalar

The Rasmiy fikrlash jurnali a ekspertlar tomonidan ko'rib chiqilgan ochiq kirish akademik jurnal 2009 yilda tashkil etilgan. U nashr etadi rasmiylashtirish har qanday sohadagi harakatlar, shu jumladan klassik matematika, konstruktiv matematika, rasmiy algoritmlar va dasturni tekshirish. Bu tomonidan saqlanadi AlmaDL, raqamli kutubxona ning Boloniya universiteti.

Xulosa qilish va indeksatsiya qilish

Jurnal mavhum va indekslangan Scopus, MathSciNet va Zentralblatt matematikasi.

Tashqi havolalar