Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 годасборник
Статьи, опубликованные в сборнике
-
-
2011
A proof searching algorithm for paraconsistent logic PCont
-
Bolotov A.E.,
Shangin V.O.
-
в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 10-11
-
редакторы
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Карпенко Александр Степанович,
Маркин Владимир Ильич
-
-
-
-
-
-
-
-
-