Computational logic theory

This subclass comprises research and experimental development in computational logic theory.
 
 
 
 
 
 
 
 
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.
 
 

Get key application advice, hear about the latest research opportunities and keep up with the latest news from UBC's graduate programs.