Carregando...
O sistema não pode executar a operação agora. Tente novamente mais tarde.
ArtigosPerfis
Meu perfilMinha bibliotecaMétricasAlertas
Configurações
Fazer login
Fazer login
Perfis
Meu perfilMinha biblioteca
Steven Obua

Steven Obua

University of Edinburgh
E-mail confirmado em inf.ed.ac.uk
Citado por 1255
Interactive Theorem Proving Collaborative Theorem Proving Formal and Informal Proofs Parsing Programming Languages
PrivacidadeTermosAjuda
Sobre o Google AcadêmicoAjuda da Pesquisa