Saltar para:
Logótipo
Você está em: Início > Publicações > Visualização > Introduction to the 33rd international conference on logic programming special issue
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Introduction to the 33rd international conference on logic programming special issue

Título
Introduction to the 33rd international conference on logic programming special issue
Tipo
Outra Publicação em Revista Científica Internacional
Ano
2017
Autores
Ricardo Rocha
(Autor)
FCUP
Son, TC
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Revista
Vol. 17
Páginas: 684-688
ISSN: 1471-0684
Indexação
Publicação em ISI Web of Knowledge ISI Web of Knowledge - 0 Citações
Publicação em Scopus Scopus - 0 Citações
Outras Informações
ID Authenticus: P-00N-41E
Abstract (EN): This special issue of Theory and Practice of Logic Programming (TPLP) contains the regular papers accepted for presentation at the 33rd International Conference on Logic Programming (ICLP 2017), held in Melbourne, Australia from the 28th of August to the 1st of September, 2017. ICLP 2017 was colocated with the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017) and the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017). Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Copyright © Cambridge University Press 2017.
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Nº de páginas: 5
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Da mesma revista

Introduction to the 28th international conference on logic programming special issue (2012)
Outra Publicação em Revista Científica Internacional
AGOSTINO DOVIER; VÃTOR SANTOS COSTA
Towards multi-threaded local tabling using a common table space (2012)
Artigo em Revista Científica Internacional
Miguel Areias; Ricardo Rocha
Threads and or-parallelism unified (2010)
Artigo em Revista Científica Internacional
Ines Dutra; Ricardo Rocha
The YAP Prolog system (2012)
Artigo em Revista Científica Internacional
Vitor Santos Costa; Ricardo Rocha; Luis Damas
Tabling, Rational Terms, and Coinduction Finally Together! (2014)
Artigo em Revista Científica Internacional
Theofrastos Mantadelis; Ricardo Rocha; Paulo Moura

Ver todas (20)

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Última actualização: 2016-03-23 I  Página gerada em: 2024-08-22 às 11:23:54 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias