Communication problems in the -calculus /
Autores principales: | Benevides, M.R.F. (Autor, Autor/a), Protti, Fábio (Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Rio de Janeiro :
Universidad Federal do Rio de Janeiro,
[2000?].
|
Colección: | Núcleo de Computaçao Eletrônica. Relatório técnico
|
Materias: |
Ejemplares similares
-
The lambda calculus: its syntax and semantics /
por: Barendregt, Hendrik Pieter, et al.
Publicado: (1984) -
The logical problem of induction /
por: Wright, George Henrik Von 1916-2003, et al.
Publicado: (1957) -
Propositional calculus, boolean algebras, predicate calculus /
por: Cori, René, et al. -
Solvable cases of the decision problem
por: Ackermann, Wilhelm n 1896, et al.
Publicado: (1962) -
Solvable cases of the decision problem
por: Ackermann, Wilhelm n 1896, et al.
Publicado: (1954)