Term Gallery logo

Значения термина cut rule на английском

русский
сечение
португальский
regra do corte

Inference rule, generalisation of the modus ponens, in sequent calculus.

Похожие термины
сечение
Использование термина cut rule на английском
1
Hence, after years of tedious litigation there would be no clear- cut rule for future action.
Theodore Roosevelt: An Autobiography
2
One concern is the index's clear- cut rules on how it chooses its components, which makes it easy for speculators to front-run the annual August changeovers.
Reuters
Translations for cut rule
русский
сечение
португальский
regra do corte