sequent calculus
sequent calculus · sequent calculi
A set of inference rules for deriving true sequents from other true sequentsA set of inference rules for deriving true sequents from other true sequents.
Значение
значений: 1A set of inference rules for deriving true sequents from other true sequents.
Формы
мн. число: sequent calculi| Ед. число | sequent calculus |
|---|---|
| Мн. число | sequent calculi |
неправильный · Урок
Уроки к слову
уроков: 1- A1Множественное число существительных — Потому что у него неправильное множественное число