1
|
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)
|
2
|
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)
|
3
|
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)
|