1
TÍTULO: FROM COINDUCTIVE PROOFS TO EXACT REAL ARITHMETIC: THEORY AND APPLICATIONS  Full Text
AUTORES: Ulrich Berger;
PUBLICAÇÃO: 2011, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 7, NÚMERO: 1
INDEXADO EM: WOS CrossRef
2
TÍTULO: Neural correlates of strategic memory retrieval: Differentiating between spatial-associative and temporal-associative strategies  Full Text
AUTORES: Mischa de Rover; Karl Magnus Petersson ; Sieberen R van der Werf; Alexander R Cools; Hans J Berger; Guillen Fernandez;
PUBLICAÇÃO: 2008, FONTE: HUMAN BRAIN MAPPING, VOLUME: 29, NÚMERO: 9
INDEXADO EM: Scopus WOS CrossRef: 24