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
ALEMANHA
8
2
ARGELIA
1
3
AUSTRALIA
1
4
BRASIL
3
5
CANADA
1
6
CHINA
5
7
COREIA, REPUBLICA DA
1
8
ESTADOS UNIDOS
29
9
FRANCA
1
10
PAQUISTAO
1
11
RUSSIA
3
12
SINGAPURA
1
13
SUICA
2
Total: 57
Visualizar Gráfico
<< Voltar
