Busca
TRABALHOS DE FIM DE CURSO @PUC-Rio
Início
Cursos
Busca
Estatísticas
Contato
| A + |
| A |
| A - |
Estatísticas -> Conteúdo - Acesso
Título:
PROJETO DE IMPLEMENTAÇÃO E PROTOTIPAGEM DE REGRAS DE MANIPULAÇÃO DE PROVAS EM DEDUÇÃO NATURAL
Autor(es):
RAFAEL ARAUJO SERPA
Colaborador(es):
EDWARD HERMANN HAEUSLER Orientador
Catalogação :
20/09/2023
Língua:
PORTUGUÊS - BRASIL
Países:
13
Visitas:
57
Partições:
1
Tipo de acesso:
PÚBLICO
Visualizar Gráfico
País
Visitas
1
ESTADOS UNIDOS
29
2
ALEMANHA
8
3
CHINA
5
4
BRASIL
3
5
RUSSIA
3
6
SUICA
2
7
ARGELIA
1
8
AUSTRALIA
1
9
CANADA
1
10
COREIA, REPUBLICA DA
1
11
FRANCA
1
12
PAQUISTAO
1
13
SINGAPURA
1
Total: 57
Visualizar Gráfico
<< Voltar
