Информатикадағы логикалық әдістер - Logical Methods in Computer Science

Информатикадағы логикалық әдістер  
ТәртіпТеориялық информатика
ТілАғылшын
Өңделген арқылыСтефан Милиус
Жариялау мәліметтері
Тарих2005 - қазіргі уақытқа дейін
Баспагер
Информатикадағы логикалық әдістер
ЖиілікТоқсан сайын
Иә
ЛицензияCreative Commons
0.661 (2016)
Стандартты қысқартулар
ISO 4Журнал. Есептеу әдістері. Ғылыми.
Индекстеу
ISSN1860-5974
OCLC жоқ.897996717
Сілтемелер

Информатикадағы логикалық әдістер (LMCS) - бұл рецензияланған ашық қол жетімділік ғылыми журнал жабу теориялық информатика және қолданылды логика. Ол 2005 жылы құрылды бас редактор Стефан Милиус (Фридрих-Александр Университеті Эрланген-Нюрнберг ).

Рефераттау және индекстеу

Бұл журналдың абстрактісі мен индексі ... жазылды Ағымдағы мазмұн / Инженерлік, есептеу және технология,[1] Математикалық шолулар, Ғылымға сілтеме индексі кеңейтілді,[1] Скопус,[2] және Zentralblatt MATH.[3] Сәйкес Журналға сілтеме жасау туралы есептер, журналда 2016 жыл бар импакт-фактор 0,661.[4]

Әдебиеттер тізімі

  1. ^ а б «Журналдың негізгі тізімі». Зияткерлік меншік және ғылым. Аналитиканы түсіндіру. Алынған 2018-04-10.
  2. ^ «Ақпараттық мәліметтер: Информатикадағы логикалық әдістер». Scopus алдын-ала қарау. Elsevier. Алынған 2018-04-10.
  3. ^ «Сериялық мәліметтер базасы». Zentralblatt MATH. Springer Science + Business Media. Архивтелген түпнұсқа 2017-11-07. Алынған 2018-04-10.
  4. ^ «Информатикадағы логикалық әдістер». 2016 Журналға сілтеме жасау туралы есептер. Web of Science (Ғылым ред.). Аналитиканы түсіндіру. 2017.

Сыртқы сілтемелер