Página InicialGruposDiscussãoMaisZeitgeist
Pesquisar O Sítio Web
Este sítio web usa «cookies» para fornecer os seus serviços, para melhorar o desempenho, para analítica e (se não estiver autenticado) para publicidade. Ao usar o LibraryThing está a reconhecer que leu e compreende os nossos Termos de Serviço e Política de Privacidade. A sua utilização deste sítio e serviços está sujeita a essas políticas e termos.

Resultados dos Livros Google

Carregue numa fotografia para ir para os Livros Google.

A carregar...

Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

por Maurizio Gabbrielli

MembrosCríticasPopularidadeAvaliação médiaDiscussões
1Nenhum(a)7,662,328Nenhum(a)Nenhum(a)
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The conference was colocated with the International Conf- ence on ConstraintProgramming(CP 2005)and the following 6 post-conference workshops: - CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems - CSLP 2005: Constraint Solving and Language Processing - WCB 2005: Constraint Based Methods for Bioinformatics - WLPE 2005: Logic-Based Methods in Programming Environments - MoVeLog 2005: Mobile Code Safety and Program Veri?cation Using C- putational Logic Tools - CHR 2005: Constraint Handling Rules The conferencecoincided with a solareclipse, whichoccurredon October 3rd and was visible in Sitges. No conference activities were scheduled at the time of the eclipse to allow delegates to view this extraordinary astronomical event. Since the ?rst conference that was held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic progr- ming. In this edition of the conference, extra attention was given to novel - plications of logic programming and to work providing novel integrations of di?erent areas. Colocation with CP 2005 further reinforced these themes, as it provided an opportunity for the exchange of ideas and cross-fertilization among two areaswhich havecommon roots. ICLP 2005and CP 2005sharedthe invited speakers to underscore this e?ort. ICLP 2005 broke new ground by holding a doctoral consortium for the ?rst time in the ICLP series of conference.… (mais)

Sem etiquetas

Nenhum(a)
A carregar...

Adira ao LibraryThing para descobrir se irá gostar deste livro.

Ainda não há conversas na Discussão sobre este livro.

Sem comentários
sem críticas | adicionar uma crítica
Tem de autenticar-se para poder editar dados do Conhecimento Comum.
Para mais ajuda veja a página de ajuda do Conhecimento Comum.
Título canónico
Título original
Títulos alternativos
Data da publicação original
Pessoas/Personagens
Locais importantes
Acontecimentos importantes
Filmes relacionados
Epígrafe
Dedicatória
Primeiras palavras
Citações
Últimas palavras
Nota de desambiguação
Editores da Editora
Autores de citações elogiosas (normalmente na contracapa do livro)
Língua original
DDC/MDS canónico
LCC Canónico

Referências a esta obra em recursos externos.

Wikipédia em inglês

Nenhum(a)

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The conference was colocated with the International Conf- ence on ConstraintProgramming(CP 2005)and the following 6 post-conference workshops: - CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems - CSLP 2005: Constraint Solving and Language Processing - WCB 2005: Constraint Based Methods for Bioinformatics - WLPE 2005: Logic-Based Methods in Programming Environments - MoVeLog 2005: Mobile Code Safety and Program Veri?cation Using C- putational Logic Tools - CHR 2005: Constraint Handling Rules The conferencecoincided with a solareclipse, whichoccurredon October 3rd and was visible in Sitges. No conference activities were scheduled at the time of the eclipse to allow delegates to view this extraordinary astronomical event. Since the ?rst conference that was held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic progr- ming. In this edition of the conference, extra attention was given to novel - plications of logic programming and to work providing novel integrations of di?erent areas. Colocation with CP 2005 further reinforced these themes, as it provided an opportunity for the exchange of ideas and cross-fertilization among two areaswhich havecommon roots. ICLP 2005and CP 2005sharedthe invited speakers to underscore this e?ort. ICLP 2005 broke new ground by holding a doctoral consortium for the ?rst time in the ICLP series of conference.

Não foram encontradas descrições de bibliotecas.

Descrição do livro
Resumo Haiku

Current Discussions

Nenhum(a)

Capas populares

Nenhum(a)

Ligações Rápidas

Avaliação

Média: Sem avaliações.

É você?

Torne-se num Autor LibraryThing.

 

Acerca | Contacto | LibraryThing.com | Privacidade/Termos | Ajuda/Perguntas Frequentes | Blogue | Loja | APIs | TinyCat | Bibliotecas Legadas | Primeiros Críticos | Conhecimento Comum | 203,231,612 livros! | Barra de topo: Sempre visível