51
TÍTULO: Parametrized Equilibrium Logic  Full Text
AUTORES: Gonçalves, R; Alferes, JJ ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
52
TÍTULO: Mosquito Surveys and West Nile Virus Screening in Two Different Areas of Southern Portugal, 2004-2007
AUTORES: Antonio Paulo G Almeida ; Ferdinando B Freitas; Maria Teresa Novo ; Carla A Sousa ; Joao C Rodrigues; Ricardo Alves; Aida Esteves ;
PUBLICAÇÃO: 2010, FONTE: 1st Annual Arbo-Zoonet Annual Meeting in VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 10, NÚMERO: 7
INDEXADO EM: Scopus WOS CrossRef
53
TÍTULO: Behavioral Algebraization of Logics
AUTORES: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLICAÇÃO: 2009, FONTE: Stud Logica, VOLUME: 91, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID
54
TÍTULO: Behavioral algebraization of da Costa's C-systems
AUTORES: Carlos Caleiro ; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: J. Appl. Non Class. Logics, VOLUME: 19, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
55
TÍTULO: Equipollent logical systems  Full Text
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis: Towards a General Theory of Logic
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
56
TÍTULO: Stochastic modelling of OWC wave power plant performance  Full Text
AUTORES: Falcao, AFD ; Rodrigues, RJA;
PUBLICAÇÃO: 2002, FONTE: APPLIED OCEAN RESEARCH, VOLUME: 24, NÚMERO: 2
INDEXADO EM: Scopus WOS
Página 6 de 6. Total de resultados: 56.