Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
UDC 004.42:510.69
15
УДК 004.42:510.69
15
logic
11
логічний наслідок
11
logical consequence
10
логика
10
логіка
10
логическое следствие
9
предикат
7
6
predicate
6
секвенційне числення
5
partial predicate
4
semantics
4
УДК 004.42
4
секвенциальное исчисление
4
семантика
4
частковий предикат
4
UDC 004.42
3
algebra
3
equality
3
sequent calculus
3
алгебра
3
равенство
3
composition
2
non-deterministic predicate
2
композиция
2
недетерминированный предикат
2
недетермінований предикат
2
рівність
2
-
21
-
22
- [1]
- Vorheriger
- 1
- 2