1
|
Material Type: Relatório Técnico
|
|
Programs for data processing and computer science in two-year colleges
C. C. Gotlieb (Calvin Carl)
Rio de Janeiro Puc 1978
Localização:
IME - Inst. Matemática e Estatística
(S M751 1978 v.1 )(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
Towards a computer aided science of interactions
Flávio Soares Corrêa da Silva Wamberto Weber Miranda Peixoto de Vasconcelos; David S Robertson
São Paulo IME-USP 2014
Localização:
IME - Inst. Matemática e Estatística
(https://repositorio.usp.br/directbitstream/637ae805-11b2-4a25-9473-664c2acf186a/ )(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
Logic and computer science logical specification
Paulo A. S. Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro PUC 1997
Localização:
IME - Inst. Matemática e Estatística
(S M751 1997 v.40 )(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
Computer science and logic fork algebras
Paulo A. S. Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro PUC 1997
Localização:
IME - Inst. Matemática e Estatística
(S M751 1997 v.41 )(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
On some connections between logic and computer science
Paulo A. S. Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro PUC 1997
Localização:
IME - Inst. Matemática e Estatística
(S M751 1997 v.38 )(Acessar)
|