1
Assuntos:
“...[pt] SINTESE DE PROGRAMAS...”
[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Tese
2
Assuntos:
“...[pt] SINTESE DE PROGRAMAS...”
[en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING
Tese
3
4
5
Assuntos:
“...Síntese de programas...”
Synthesizing interpretable strategies for real-time planning in zero-sum games
Tese