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.