Computational logic theory
This subclass comprises research and experimental development in computational logic theory.
Parent Category
听
听
听
听
听
听
听
听
听
French Name
Th茅orie de la logique computationnelle
French Description
Cette sous-classe comprend la recherche et le d茅veloppement exp茅rimental en th茅orie de la logique computationnelle.
听
听