-
1
-
2
-
3
-
4
-
5
-
6
-
7por Cavalheiro, Simone André da Costa., Ribeiro, Leila., Costa, Antônio Carlos da Rocha., Universidade Federal do Rio Grande do Sul.Assuntos: “...Lógica de primeira ordem -...”
Mais informações
Tese -
8por Viero, Arno A.“...Quine, em seu livroPhilosophy of Logic, identifica lógica com lógica de primeira ordem e defende a...”
Mais informações
Online -
9“... da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de...”
Mais informações
Dissertação -
10“... método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira...”
Mais informações
Dissertação -
11
-
12