Resultados de 1 a 10 de 26 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
data de publicação:
Antes de1991
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Propaganda warsRYDEHEARD, D.E ; MYCROFT, ANature (London), 1982-04, Vol.296 (5859), p.700-700 [Periódico revisado por pares]EnglandTexto completo disponível |
| 2 |
Material Type: Livro
|
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Science (1987 : Edinburgh, UK) David H Pitt; Axel Poigne; David E RydeheardBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.283 ex.1 ) e outros locais(Acessar) |
| 3 |
Material Type: Capítulo de Livro
|
|
Computing with categoriesBurstall, R. ; Rydeheard, D.Category Theory and Computer Programming, 1986, p.506-517 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Livro
|
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Science (3. : 1989 : Manchester, UK) David H Pitt; Peter Dybjer; A. M Pitts (Andrew M.); Axel Poigne; David E RydeheardBerlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.389 ex.1 ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Category theory and computer programming proceedingsWorkshop on Category Theory and Computer Programming (1. 1985 Guildford) David H PittBerlin Springer 1986Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.240 ex.1 ) e outros locais(Acessar) |
| 6 |
Material Type: Capítulo de Livro
|
|
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithmsRydeheard, D. E. ; Stell, J. G.Category Theory and Computer Science, 1987, p.114-139 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
A categorical unification algorithmRydeheard, D. E. ; Burstall, R. M.Category Theory and Computer Programming, 1986, p.493-505 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
AdjunctionsRydeheard, David E.Category Theory and Computer Programming, 1986, p.51-57 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
Functors and natural transformationsRydeheard, David E.Category Theory and Computer Programming, 1986, p.43-50 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Naturality of the conditional and the recursionFreire Nistal, J.L. ; Martín, Aguado F.International journal of computer mathematics, 1990-01, Vol.35 (1-4), p.7-14 [Periódico revisado por pares]Abingdon: Gordon and Breach Science PublishersTexto completo disponível |
Resultados de 1 a 10 de 26 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Book Chapters (11)
- Artigos (10)
- Livros (3)
- Anais de Congresso (2)
-
Mais opções
Assunto
- Science & Technology (20)
- Computer Science (17)
- Technology (17)
- Computer Science, Theory & Methods (14)
- Category Theory (7)
- Computer Science, Software Engineering (5)
- Exact Sciences And Technology (5)
- Mathematics (4)
- Mathematics, Applied (4)
- Natural Transformation (4)
- Artificial Intelligence (4)
- Physical Sciences (4)
- Applied Sciences (4)
- Computer Science; Control Theory; Systems (4)
- Teoria Da Computação (3)
- Unification Algorithm (3)
- Abelian Group (2)
- Denotational Semantic (2)
- Engineering, Electrical & Electronic (2)
- Engineering (2)
- Equational Theory (2)
- Ciência Da Computação (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1982 (1)
- 1982Até1984 (1)
- 1985Até1985 (1)
- 1986Até1987 (9)
- Após 1987 (15)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (19)
- SpringerLINK Lecture Notes in Computer Science (2015) (12)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (12)
- ScienceDirect (4)
- EZB Electronic Journals Library (3)
- EBSCOhost Computers and Applied Sciences Complete (2)
- ACM Digital Library Complete (2)
- Jstor Complete Legacy (2)
- EBSCOhost Academic Search Premier (2)
- IngentaConnect Journals (1)
- Wiley Online Library - AutoHoldings Journals (1)
- Taylor & Francis:Master (3349 titles) (1)
- Gale Academic OneFile Select (1)
- Wiley-Blackwell Full Collection 2013 (1)
- Taylor & Francis Open access Read & Publish (1)
- ANTE: Abstracts in New Technology & Engineering (1)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
- IEEE Electronic Library (IEL) Journals (1)
- DOAJ Directory of Open Access Journals (1)
- EBSCOhost Business Source Complete (1)
-
Mais opções
Nome da Publicação
- Journal Of Symbolic Computation (2)
- Journal Of Pure And Applied Algebra (1)
- Dialectica (1)
- International Journal Of Computer Mathematics (1)
- Ieee Transactions On Software Engineering (1)
- Nature (1)
- Acm Sigapl Apl Quote Quad (1)
- Information Systems (1)
- J. Of Symbolic Computation (1)
- Apl Quote Quad (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 