Расширение пропозиционального секвенциального исчисления списками и сложением.

Н.К. Косовский, А. Дарвиш

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике

Язык оригиналане определен
Название основной публикации"Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,
Страницы497-499
СостояниеОпубликовано - 2004
Опубликовано для внешнего пользованияДа

Цитировать

Косовский, Н. К., & Дарвиш, А. (2004). Расширение пропозиционального секвенциального исчисления списками и сложением. В "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб, (стр. 497-499)
Косовский, Н.К. ; Дарвиш, А. / Расширение пропозиционального секвенциального исчисления списками и сложением. "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,. 2004. стр. 497-499
@inbook{fa35786f7a06454996d75bad516b597a,
title = "Расширение пропозиционального секвенциального исчисления списками и сложением.",
author = "Н.К. Косовский and А. Дарвиш",
year = "2004",
language = "не определен",
pages = "497--499",
booktitle = "{"}Современная логика: проблемы теории, истории и применения в науке{"}, Материалы VIII Общероссийской научной конференцииСПб,",

}

Косовский, НК & Дарвиш, А 2004, Расширение пропозиционального секвенциального исчисления списками и сложением. в "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,. стр. 497-499.

Расширение пропозиционального секвенциального исчисления списками и сложением. / Косовский, Н.К.; Дарвиш, А.

"Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,. 2004. стр. 497-499.

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике

TY - CHAP

T1 - Расширение пропозиционального секвенциального исчисления списками и сложением.

AU - Косовский, Н.К.

AU - Дарвиш, А.

PY - 2004

Y1 - 2004

M3 - статья в сборнике

SP - 497

EP - 499

BT - "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,

ER -

Косовский НК, Дарвиш А. Расширение пропозиционального секвенциального исчисления списками и сложением. В "Современная логика: проблемы теории, истории и применения в науке", Материалы VIII Общероссийской научной конференцииСПб,. 2004. стр. 497-499