Cita APA

Oliveira, M. C. M. d. (2006). Um núcleo inteligente para processamento distribuído de resolvedores SAT em verificação por equivalências.

Citación estilo Chicago

Oliveira, Marcia Carolina Marra de. Um Núcleo Inteligente Para Processamento Distribuído De Resolvedores SAT Em Verificação Por Equivalências. 2006.

Cita MLA

Oliveira, Marcia Carolina Marra de. Um Núcleo Inteligente Para Processamento Distribuído De Resolvedores SAT Em Verificação Por Equivalências. 2006.