1
Assuntos:
“...First-order logic...”
Parameterized complexity investigations on the first-order satisfiability and matching problems
Tese
2
3
4
5
6
7
8
Assuntos:
“...First order logic...”
Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
Tese
9
10
Assuntos:
“...First Order Logic...”
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine.
Dissertação