Standard

Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом. / Чжоу, Цзюань; Косовская, Татьяна Матвеевна.

In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ, Vol. 11(69), No. 4, 29.12.2024, p. 733 – 743.

Research output: Contribution to journal › Article › peer-review

Harvard

Чжоу, Ц & Косовская, ТМ 2024, 'Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом', ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ, vol. 11(69), no. 4, pp. 733 – 743. https://doi.org/10.21638/spbu01.2024.409

APA

Чжоу, Ц., & Косовская, Т. М. (2024). Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом. ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ, 11(69)(4), 733 – 743. https://doi.org/10.21638/spbu01.2024.409

Vancouver

Чжоу Ц, Косовская ТМ. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом. ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 2024 Dec 29;11(69)(4):733 – 743. https://doi.org/10.21638/spbu01.2024.409

Author

Чжоу, Цзюань ; Косовская, Татьяна Матвеевна. / Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом. In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 2024 ; Vol. 11(69), No. 4. pp. 733 – 743.

BibTeX

@article{23df468148284f9e9bb7b08d2ca1717f,
title = "Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом",
author = "Цзюань Чжоу and Косовская, {Татьяна Матвеевна}",
note = "ЧжоуЦ., Косовская Т. М. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом // Вестник Санкт-Петербургского университета, Математика, механика, астрономия. Том 11(69), вып. 4, 2024. С. 733 – 743.",
year = "2024",
month = dec,
day = "29",
doi = "10.21638/spbu01.2024.409",
language = "русский",
volume = "11(69)",
pages = "733 – 743",
journal = "ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ",
issn = "1025-3106",
publisher = "Издательство Санкт-Петербургского университета",
number = "4",

}

RIS

TY - JOUR

T1 - Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом

AU - Чжоу, Цзюань

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

N1 - ЧжоуЦ., Косовская Т. М. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом // Вестник Санкт-Петербургского университета, Математика, механика, астрономия. Том 11(69), вып. 4, 2024. С. 733 – 743.

PY - 2024/12/29

Y1 - 2024/12/29

U2 - 10.21638/spbu01.2024.409

DO - 10.21638/spbu01.2024.409

M3 - статья

VL - 11(69)

SP - 733

EP - 743

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

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

SN - 1025-3106

IS - 4

ER -

ID: 131080191