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:
12
Visitas:
54
Partições:
1
Tipo de acesso:
PÚBLICO
Visualizar Gráfico
País
Visitas
1
ALEMANHA
6
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
PAQUISTAO
1
10
RUSSIA
3
11
SINGAPURA
1
12
SUICA
2
Total: 54
Visualizar Gráfico
<< Voltar
