Avtomatlashtirilgan fikrlash jurnali - Journal of Automated Reasoning

Avtomatlashtirilgan fikrlash jurnali  
IntizomKompyuter fanlari
TilIngliz tili
Tahrirlangan tomonidanTobias Nipkov
Nashr tafsilotlari
Tarix1983 yil - hozirgi kunga qadar
Nashriyotchi
Chastotani8 / yil
0.714 (2011)
Standart qisqartmalar
ISO 4J. Autom. Sabab.
MathSciNetJ. Avtomat. Sabab.
Indekslash
KODENJAREEW
ISSN0168-7433 (chop etish)
1573-0670 (veb)
LCCNsf93093541
OCLC yo'q.263592661
Havolalar

The Avtomatlashtirilgan fikrlash jurnali tomonidan 1983 yilda tashkil etilgan Larri Vos, kim edi bosh muharrir 1992 yilgacha.[1] Bu tadqiqotlar va yutuqlarni o'z ichiga oladi avtomatlashtirilgan fikrlash - mexanik tekshirish teoremalar va klassik va klassik bo'lmagan boshqa ajratmalar mantiq.[2]

Jurnal tomonidan nashr etilgan Springer Science + Business Media. 2010 yildan boshlab bosh muharriri Tobias Nipkov. Jurnal 2011 yil ta'sir qiluvchi omil 0.714 ni tashkil etadi va u bir qator fanlarni indeksatsiya qilish xizmatlari tomonidan, shu jumladan Ilmiy ma'lumotlarning indekslari kengaytirildi va Scopus.[3]

Adabiyotlar

  1. ^ Robert Veroff, Avtomatlashtirilgan fikrlash va uning qo'llanilishi
  2. ^ Allen B. Taker, Informatika bo'yicha qo'llanma
  3. ^ "Avtomatlashtirilgan fikrlash jurnali". Springer. Olingan 2 avgust 2010.

Tashqi havolalar