Wu, H., Wang, J., Xia, B., Li, X., Zhan, N., & Gan, T. (2024). Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets.
Citazione stile Chigago Style (17a edizione)Wu, Hao, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, e Ting Gan. Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. 2024.
Citatione MLA (9a ed.)Wu, Hao, et al. Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.