Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Теоретичні та методологічні основи програмування
55
23
УДК 004.42:510.69
15
UDC 004.42:510.69
14
логічний наслідок
12
logical consequence
11
logic
10
логика
9
логическое следствие
9
логіка
9
предикат
8
UDC 681.3
7
predicate
7
секвенційне числення
7
УДК 681.3
6
sequent calculus
5
equality
4
partial predicate
4
секвенциальное исчисление
4
частковий предикат
4
ontology
3
semantics
3
онтологія
3
равенство
3
рівність
3
семантика
3
UDC 004.62
2
algebra
2
completeness
2
composition
2
-
41
-
42
-
43
-
44
-
45
-
46
-
47von Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.Volltext
Veröffentlicht 2008
Artikel -
48von Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
Veröffentlicht 2008Artikel -
49
-
50
-
51
-
52
-
53
-
54Artikel
-
55
-
56
-
57
-
58von Шинкаренко, В.І., Дорошенко, А.Ю., Яценко, О.А., Разносілін, В.В., Галанін, К.К.Volltext
Veröffentlicht 2022
Artikel -
59
-
60