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