Buscas alternativas:
labelled deductive » labeled deductive (Expandir a busca)
deductive systems » productive systems (Expandir a busca), reactive systems (Expandir a busca), reproductive systems (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"[en] LABELLED DEDUCTIVE SYSTEMS"', tempo de busca: 0,43s

1

Assuntos: “...[en] LABELLED DEDUCTIVE SYSTEMS...”

[en] A LABELLED NATURAL DEDUCTION LOGICAL FRAMEWORK

Publicado em 2023
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese