Standard

Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта. / Косовская, Татьяна Матвеевна.

в: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН, Том 499, 2021, стр. 38-52.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Косовская, ТМ 2021, 'Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта', ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН, Том. 499, стр. 38-52. <http://mi.mathnet.ru/znsl7043 >

APA

Косовская, Т. М. (2021). Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта. ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН, 499, 38-52. http://mi.mathnet.ru/znsl7043

Vancouver

Косовская ТМ. Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта. ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 2021;499:38-52.

Author

Косовская, Татьяна Матвеевна. / Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта. в: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 2021 ; Том 499. стр. 38-52.

BibTeX

@article{93043449f8da4601886b0abcf379336f,
title = "Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта",
author = "Косовская, {Татьяна Матвеевна}",
year = "2021",
language = "русский",
volume = "499",
pages = "38--52",
journal = "ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН",
issn = "0373-2703",
publisher = "Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН",

}

RIS

TY - JOUR

T1 - Изоморфизм формул исчисления предикатов в задачах Искусственного Интеллекта

AU - Косовская, Татьяна Матвеевна

PY - 2021

Y1 - 2021

M3 - статья

VL - 499

SP - 38

EP - 52

JO - ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН

JF - ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН

SN - 0373-2703

ER -

ID: 84400796