SEQUENT


Англо-русский перевод SEQUENT

1) вытекающий 2) последующий 3) секвенция 4) следующий • completely regular sequent — вполне регулярная секвенция weakly regular sequent — слабо регулярная секвенция - derivable sequent - end sequent - explicit sequent - implicit sequent - lower sequent - negative sequent - positive sequent - prenex sequent - provable sequent - regular sequent - true sequent - upper sequent

English-Russian scientific and technological dictionary .      Англо-Русский научно-технический словарь.