1
Material Type:
Relatório Técnico
Communication predicates a complete strategy for resolution-based theorem provers
Roberto L. de Carvalho Emmanuel Lopes Passos ; Silvia R . G Peixoto
Rio de Janeiro Puc 1978
Localização:
IME - Inst. Matemática e Estatística
(S M751 1978 v.15 ) (Acessar)
This feature requires javascript
2
Material Type:
Relatório Técnico
O suporte básico do sistema hyades gerência de banco de dados o pacote de gerência de banco de dados
Sônia M M Passos Roberto P Vasques
Rio de Janeiro Puc 1978
Localização:
IME - Inst. Matemática e Estatística
(S M751 1978 v.16A ) (Acessar)
This feature requires javascript
3
Material Type:
Relatório Técnico
O suporte básico do sistema Hyades de gerência de banco de dados o pacote de avaliação de eficiência
Sonia M. M. Passos Roberto P Vasques
Rio de Janeiro PUC 1978
Localização:
IME - Inst. Matemática e Estatística
(S M751 1978 v.16B ) (Acessar)
This feature requires javascript
4
Material Type:
Relatório Técnico
Relatório de análise estatística sobre o projeto “Um estudo sobre a distribuição dos sítios arqueológicos da Tradição Aratu na paisagem capixaba”
Alexandre Galvão Patriota Danilo Vieira Silva; Rodrigo Passos Martins
São Paulo IME-USP 2020
Localização:
IME - Inst. Matemática e Estatística
(https://repositorio.usp.br/item/003067081 ) (Acessar)
This feature requires javascript
5
Material Type:
Relatório Técnico
Relatório de análise estatística sobre o projeto “Avaliação de fibrose hepática por métodos não invasivos em pacientes curados de hepatite C crônica e sua associação com os desfechos clínicos”
Danilo Vieira Silva Júlio da Motta Singer 1950-; Rodrigo Passos Martins
São Paulo IME-USP 2020
Localização:
IME - Inst. Matemática e Estatística
(https://repositorio.usp.br/item/003067255 ) (Acessar)
This feature requires javascript