Showing 1 - 4 results of 4 for search 'Geiza Maria Hamazaki da Silva', query time: 1.22s Refine Results
  1. 1
    [en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
    by GEIZA MARIA HAMAZAKI DA SILVA
    Published 2004
    Get full text
    Get full text
    Get full text
  2. 2
    EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
    by GEIZA MARIA HAMAZAKI DA SILVA
    Published 2004
    Get full text
    Get full text
  3. 3
    Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
    Get full text
    Article
  4. 4
    Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search