Resultados de 1 a 10 de 28 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
CategoriesPitt, DavidCategory Theory and Computer Programming, 2005, p.1-15 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
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) |
| 3 |
Material Type: Capítulo de Livro
|
|
A study in the foundations of programming methodology: Specifications, institutions, charters and parchmentsGoguen, Joseph A. ; Burstall, R. M.Category Theory and Computer Programming, 1986, p.313-333 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Bits and pieces of the theory of institutionsTarlecki, AndrzejCategory Theory and Computer Programming, 1986-01, p.334-363 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Capítulo de Livro
|
|
Category theory and logicPoigné, AxelCategory Theory and Computer Programming, 1986, p.103-142 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
Theories as categoriesFourman, Michael P.Category Theory and Computer Programming, 1986, p.434-448 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
Elements of categorical reasoning : Products and coproducts and some other (co-)limitsPoigné, AxelCategory Theory and Computer Programming, 1986, p.16-42 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Internal completeness of categories of domainsTaylor, PaulCategory Theory and Computer Programming, 1986, p.449-465 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
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 |
| 10 |
Material Type: Capítulo de Livro
|
|
Key extensions of abstract data types, final algebras, and database semanticsEhrich, H. -D.Category Theory and Computer Programming, 1986, p.412-433 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 28 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
- Artigos (16)
- Book Chapters (9)
- Anais de Congresso (2)
- Livros (1)
-
Mais opções
Assunto
- Science & Technology (16)
- Computer Science (14)
- Technology (14)
- Computer Science, Theory & Methods (11)
- Category Theory (6)
- Classification (2)
- Computational Linguistics (2)
- Education (2)
- Engineering (2)
- Computer Science, Artificial Intelligence (2)
- Artificial Intelligence (2)
- Logical System (2)
- Functional Programming (2)
- Equational Logic (2)
- Logic (2)
- Mathematical Models (2)
- Learning (2)
- Arts & Humanities (2)
- Left Adjoint (2)
- Mathematical Logic And Foundations (2)
- Teoria Da Computação (1)
- Ciência Da Computação (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1988 (12)
- 1988Até1996 (3)
- 1997Até2005 (5)
- 2006Até2011 (6)
- Após 2011 (3)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (14)
- SpringerLINK Lecture Notes in Computer Science (2015) (10)
- Lecture Notes in Computer Science Archive (through to 1996) (10)
- JSTOR (6)
- Journals@Ovid Ovid Full Text (4)
- IngentaConnect Journals (3)
- JSTOR Mathematics and Statistics (3)
- AUTh Library subscriptions: JSTOR Arts & Sciences VII (3)
- Springer Nature - Springer Journals All 2022 (3)
- Business Source Complete (BSC) 商管财经类全文数据库(完整版) (3)
- Free E-Journal (出版社公開部分のみ） (3)
- SpringerLink_现刊 (3)
- ACM Digital Library (3)
- EBSCO_Academic Search Premier (3)
- Wiley-Blackwell Full Collection 2013 (2)
- Wiley Blackwell Single Titles (2)
- Taylor & Francis Online (2)
- Wiley-Blackwell Full Collection 2009 (2)
- Taylor & Francis Open Access (2)
- Sage Premier Journal Collection (2)
-
Mais opções
Nome da Publicação
- Studia Logica (2)
- Data Mining And Knowledge Discovery (1)
- International Political Science Review (1)
- Bulletin De Méthodologie Sociologique (1)
- Ephemera (1)
- International Journal Of Human Resource Management (1)
- European Journal Of Education (1)
- Category Theory And Computer Programming (1)
- Bioinspiration & Biomimetics (1)
- Cultural Trends (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 