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