Agrupar Por:
Tipo
Ano
Ordenação:
Título
Ano
Tipo de Publicação
Outra Publicação em Revista Científica Internacional
Bigonha, RS (Autor ) (Outra); Musicante, MA (Autor ) (Outra); Pardo, A (Autor ) (Outra); Garcia, A (Autor ) (Outra); Martini, A (Autor ) (Outra); Moreira, AF (Autor ) (Outra); De Melo, ACV (Autor ) (Outra); Du Bois, AR (Autor ) (Outra); Santos, A (Autor ) (Outra); Camarao, C (Autor ) (Outra); Rubira, C (Autor ) (Outra); Braga, C (Autor ) (Outra); Naumann, D (Autor ) (Outra); Haeusler, EH (Autor ) (Outra); De Carvalho Junior, FH (Autor ) (Outra); Cafezeiro, I (Autor ) (Outra); Palsberg, J (Autor ) (Outra); Jeuring, J (Autor ) (Outra); Saraiva, J (Autor ) (Outra); Guimaraes, J (Autor ) (Outra)...(mais 24 autores)
FOS:
Ciências da computação e da informação
AGOSTINO DOVIER (Autor ) (Outra); VÃTOR SANTOS COSTA (Autor ) (FCUP)
Gerson Zaverucha (Autor ) (Outra); Vitor Santos Costa (Autor ) (FCUP)
FOS:
Ciências da computação e da informação
Acar, U (Autor ) (Outra); Costa, VS (Autor ) (FCUP)
Outras Publicações
Enrico Pontelli (Autor ) (Outra); VÃtor Santos Costa (Autor ) (FCUP)
Salvador Abreu (Autor ) (Outra); VÃtor Santos Costa (Autor ) (FCUP)
Guimarães, V (Autor ) (Outra); Costa, VS (Autor ) (FCUP)
Gerson Zaverucha (Autor ) (Outra); VÃtor Santos Costa (Autor ) (FCUP); Aline Marins Paes (Autor ) (Outra)
Agostino Dovier (Autor ) (Outra); VÃtor Santos Costa (Autor ) (FCUP)
Umut A Acar (Autor ) (Outra); VÃtor Santos Costa (Autor ) (FCUP)
Juliana S Bernardes (Autor ) (Outra); Alberto M R Dávila (Autor ) (Outra); VÃtor Santos Costa (Autor ) (FCUP); Gerson Zaverucha (Autor ) (Outra)
Livro
João Gama (Autor ) (FEP); VÃtor Santos Costa (Autor ) (FCUP); AlÃpio Mário Jorge (Autor ) (FCUP); Pavel Brazdil (Autor ) (FEP)
Capítulo ou Parte de Livro
De Raedt, L (Autor ) (Outra); Kimmig, A (Autor ) (Outra); Gutmann, B (Autor ) (Outra); Kersting, K (Autor ) (Outra); Costa, VS (Autor ) (FCUP); Toivonen, H (Autor ) (Outra)
Jorge G. Barbosa (Autor ) (FEUP); Rui Camacho (Autor ) (FEUP); Altino Sampaio (Autor ) (Outra); João Ladeiras (Autor ) (Outra); Nuno A. Fonseca (Autor ) (Outra); Costa, VS (Autor ) (FCUP)
CORDIS:
Engenharia
FOS:
Engenharia electrotécnica, electrónica e informática
Não foi encontrado nenhum documento associado à publicação com acesso permitido.
Konstantopoulos, S (Autor ) (Outra); Rui Camacho (Autor ) (FEUP); Fonseca, NA (Autor ) (Outra); Costa, VS (Autor ) (FCUP)
CORDIS:
Tecnologia de computadores
Nome do Ficheiro
Descrição
Tamanho
aiapst-reviewed
Induction as a search procedure
654.80 KB
David Vaz (Autor ) (FCUP); Vitor Costa (Autor ) (FCUP); Michel Ferreira (Autor ) (FCUP)
FOS:
Engenharia electrotécnica, electrónica e informática
Artigo em Revista Científica Internacional
Moreno, P (Autor ) (Outra); Miguel Areias (Autor ) (FCUP); Ricardo Rocha (Autor ) (FCUP); Costa, VS (Autor ) (FCUP)
CORDIS:
Engenharia de computadores
FOS:
Ciências da computação e da informação
Alves, TAO (Autor ) (Outra); Marzulo, LAJ (Autor ) (Outra); Franca, FMG (Autor ) (Outra); Costa, VS (Autor ) (FCUP)
Dutra, I (Autor ) (Outra); Page, D (Autor ) (Outra); Costa, VS (Autor ) (FCUP); Shavlik, J (Autor ) (Outra); Waddell, M (Autor ) (Outra)
FOS:
Ciências da computação e da informação
Vitor Santos Costa (Autor ) (FCUP); Ricardo Rocha (Autor ) (FCUP); Luis Damas (Autor ) (Outra)
FOS:
Ciências da computação e da informação