Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
![]() |
Logic and computer science logical specificationPaulo A. S. Veloso (Paulo Augusto Silva), 1944-Rio de Janeiro PUC 1997Localização: IME - Inst. Matemática e Estatística (S M751 1997 v.40 )(Acessar) |
2 |
Material Type: Relatório Técnico
|
![]() |
Computer science and logic fork algebrasPaulo A. S. Veloso (Paulo Augusto Silva), 1944-Rio de Janeiro PUC 1997Localização: IME - Inst. Matemática e Estatística (S M751 1997 v.41 )(Acessar) |
3 |
Material Type: Relatório Técnico
|
![]() |
On some connections between logic and computer sciencePaulo A. S. Veloso (Paulo Augusto Silva), 1944-Rio de Janeiro PUC 1997Localização: IME - Inst. Matemática e Estatística (S M751 1997 v.38 )(Acessar) |
4 |
Material Type: Relatório Técnico
|
![]() |
Programs for data processing and computer science in two-year collegesC. C. Gotlieb (Calvin Carl)Rio de Janeiro Puc 1978Localização: IME - Inst. Matemática e Estatística (S M751 1978 v.1 )(Acessar) |
5 |
Material Type: Relatório Técnico
|
![]() |
Towards a computer aided science of interactionsFlávio Soares Corrêa da Silva Wamberto Weber Miranda Peixoto de Vasconcelos; David S RobertsonSão Paulo IME-USP 2014Localização: IME - Inst. Matemática e Estatística (https://repositorio.usp.br/directbitstream/637ae805-11b2-4a25-9473-664c2acf186a/ )(Acessar) |
6 |
Material Type: Relatório Técnico
|
![]() |
Stellarator power plant study. Final report 1997.Miller, R. L.; Najmabadi, F.; Xueren Wang (and others).; University of California, San Diego (UCSD), CA (US).Department of Applied Mechanics and Engineering Science. Departmentof Eletrical and Computer Engineering Physics.1997Acesso online |