Ana Clara Lopes Marques
AuthID: R-000-0MR
101
TÃTULO: Automatic generation of accurate circuit models of 3-D interconnect
AUTORES: Kamon, M; Marques, A; Silveira, L. Miguel ; White, J;
PUBLICAÇÃO: 1998, FONTE: IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 21, NÚMERO: 3
AUTORES: Kamon, M; Marques, A; Silveira, L. Miguel ; White, J;
PUBLICAÇÃO: 1998, FONTE: IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 21, NÚMERO: 3
102
TÃTULO: Extracting algorithms from intuitionistic proofs Full Text
AUTORES: Ferreira, F ; Marques, A;
PUBLICAÇÃO: 1998, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 44, NÚMERO: 2
AUTORES: Ferreira, F ; Marques, A;
PUBLICAÇÃO: 1998, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 44, NÚMERO: 2
