Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
Статті
17
8
логічний наслідок
8
logical consequence
7
секвенційне числення
7
logic
6
UDC 004.42:510.69
5
partial predicate
5
sequent calculus
5
Применение методов и средств моделирования
5
УДК 004.42:510.69
5
логіка
5
логика
4
логическое следствие
4
предикат
4
секвенциальное исчисление
4
частковий предикат
4
UDC 004.94
3
predicate
3
Интеллектуальные системы планирования, управления, моделирования и принятия решений
3
Кибернетика
3
Короткі повідомлення
3
Обучающие и экспертные системы
3
Системний аналіз
3
УДК 004.94
3
фрактал
3
002
2
13B25
2
13J05
2
159.95
2
-
261
-
262
-
263за авторством Franco, N., Eckstein, M.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2014)
Стаття -
264
-
265за авторством Guadagnini, E., Thuillier, F.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2008)
Стаття -
266
-
267за авторством Kosmann-Schwarzbach, Y.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2008)
Стаття -
268за авторством Kalnins, E.G., Miller Jr., W.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2012)
Стаття -
269
-
270за авторством Álvarez-Nodarse, R., Adıgüzel, R.S., Taşeli, H.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2012)
Стаття -
271
-
272за авторством Радочин, В.Ю.Отримати повний текст
Опубліковано в: Материалы по археологии, истории и этнографии Таврии (2008)
Стаття -
273
-
274
-
275за авторством Álvarez López, J.A., Calaza, M., Franco, C.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2015)
Стаття -
276за авторством Bilson-Thompson, S., Hackett, J., Kauffman, L., Wan, Y.Отримати повний текст
Опубліковано в: Symmetry, Integrability and Geometry: Methods and Applications (2012)
Стаття -
277
-
278
-
279
-
280