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:
15
Visitas:
65
Partições:
1
Tipo de acesso:
PÚBLICO
Visualizar Gráfico
País
Visitas
1
ESTADOS UNIDOS
32
2
ALEMANHA
8
3
CHINA
6
4
BRASIL
3
5
RUSSIA
3
6
COREIA, REPUBLICA DA
2
7
SINGAPURA
2
8
SUICA
2
9
ARGELIA
1
10
AUSTRALIA
1
11
CANADA
1
12
FRANCA
1
13
INDIA
1
14
PAQUISTAO
1
15
REPUBLICA CHECA
1
Total: 65
Visualizar Gráfico
<< Voltar
