skip to main content

Sair
Identificação

Idioma:

Sua busca inicial resultou em poucos registros ou nenhum resultado. Os resultados abaixo foram encontrados ao expandir sua busca.

Resultados de 1 a 10 de 3.760 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artigo		Open-Ended Evolution: Perspectives from the OEE Workshop in York Taylor, Tim ; Bedau, Mark ; Channon, Alastair ; Ackley, David ; Banzhaf, Wolfgang ; Beslon, Guillaume ; Dolson, Emily ; Froese, Tom ; Hickinbotham, Simon ; Ikegami, Takashi ; McMullin, Barry ; Packard, Norman ; Rasmussen, Steen ; Virgo, Nathaniel ; Agmon, Eran ; Clark, Edward ; McGregor, Simon ; Ofria, Charles ; Ropella, Glen ; Spector, Lee ; Stanley, Kenneth O. ; Stanton, Adam ; Timperley, Christopher ; Vostinar, Anya ; Wiser, Michael Artificial life, 2016-08, Vol.22 (3), p.408-423 [Periódico revisado por pares] One Rogers Street, Cambridge, MA 02142-1209, USA: MIT Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Capítulo de Livro		José Meseguer: Scientist and Friend Extraordinaire Martí-Oliet, Narciso ; Ölveczky, Peter Csaba ; Talcott, Carolyn Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.1-47 [Periódico revisado por pares] Switzerland: Springer International Publishing AG Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo		Constructing a small category of setoids WILANDER, OLOV Mathematical structures in computer science, 2012-02, Vol.22 (1), p.103-121 [Periódico revisado por pares] Cambridge, UK: Cambridge University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		Lenses, fibrations and universal translations JOHNSON, MICHAEL ; ROSEBRUGH, ROBERT ; WOOD, R. J. Mathematical structures in computer science, 2012-02, Vol.22 (1), p.25-42 [Periódico revisado por pares] Cambridge, UK: Cambridge University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Artigo		The Seventh Answer Set Programming Competition: Design and Results GEBSER, MARTIN ; MARATEA, MARCO ; RICCA, FRANCESCO Theory and practice of logic programming, 2020-03, Vol.20 (2), p.176-204 [Periódico revisado por pares] Cambridge: Cambridge University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo		On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms Chernoy, Viacheslav ; Shalom, Mordechai ; Zaks, Shmuel Distributed computing, 2010-09, Vol.23 (1), p.43-60 [Periódico revisado por pares] Berlin/Heidelberg: Springer-Verlag Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo		Non-monotonic spatial reasoning with answer set programming modulo theories WAŁĘGA, PRZEMYSŁAW ANDRZEJ ; SCHULTZ, CARL ; BHATT, MEHUL Theory and practice of logic programming, 2017-03, Vol.17 (2), p.205-225 [Periódico revisado por pares] Cambridge, UK: Cambridge University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo		Multi-Objective Bi-Level Programming for the Energy-Aware Integration of Flexible Job Shop Scheduling and Multi-Row Layout Zhang, Hongliang ; Ge, Haijiang ; Pan, Ruilin ; Wu, Yujuan Algorithms, 2018-12, Vol.11 (12), p.210 [Periódico revisado por pares] Basel: MDPI AG Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		Modal dependent type theory and dependent right adjoints Birkedal, Lars ; Clouston, Ranald ; Mannaa, Bassel ; Ejlers Møgelberg, Rasmus ; Pitts, Andrew M. ; Spitters, Bas Mathematical structures in computer science, 2020-02, Vol.30 (2), p.118-138 [Periódico revisado por pares] Cambridge: Cambridge University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		The third open answer set programming competition CALIMERI, FRANCESCO ; IANNI, GIOVAMBATTISTA ; RICCA, FRANCESCO Theory and practice of logic programming, 2014-01, Vol.14 (1), p.117-135 [Periódico revisado por pares] Cambridge, UK: Cambridge University Press Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 3.760 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento