Objectives² General quantified form

Objectives
² General quantified formulae
² Boolean connectives
² Polynomial equations, inequalities, and inequations over the reals

Kết quả (Việt) 1:

Mục tiêu² tổng định lượng công thức² Boolean connectives² phương trình đa thức, sự bất bình đẳng và inequations hơn các tập số thực

Kết quả (Việt) 2:

Mục tiêu
² Tổng lượng thức
² từ nối Boolean
² phương trình đa thức, sự bất bình đẳng, và inequations trên tập số thực