On Extracting Variable Herbrand Disjunctions-MedSci.cn

On Extracting Variable Herbrand Disjunctions

Sipos, A

Sipos, A (通讯作者)，Univ Bucharest, Fac Math & Comp Sci, Dept Comp Sci, Res Ctr Log Optimizat & Secur LOS, Acad 14, Bucharest 010014, Romania.;Sipos, A (通讯作者)，Romanian Acad, Simion Stoilow Inst Math, Calea Grivitei 21, Bucharest 010702, Romania.