Dịch

computability logic

danh từ (noun)

Nghĩa chính

  1. Một lý thuyết hình thức về tính tính toándanh từkhông đếm được (uncountable)a formal theory of computability

AI