Biblioteca Digital

14 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz

em RDBU - Repositório Digital da Biblioteca da Unisinos

A formação inicial de professores de matemática: a pesquisa como possibilidade de articulação entre teoria e prática

Relevância:

30.00% 30.00%

Publicador:

Fundamentos filosófico-políticos da teoria da constituição dirigente adequada a países de modernidade tardia

Relevância:

30.00% 30.00%

Publicador:

Uma avaliação crítica do programa Visão Viável da Teoria das Restrições

Relevância:

30.00% 30.00%

Publicador:

Pensamento descolonial e teoria crítica dos direitos humanos na América Latina: um diálogo da partir da obra de Joaquín Herrera Flores

Relevância:

30.00% 30.00%

Publicador:

Método para dimensionamento e gestão de linhas de montagem em boxes operadas por equipes: uma abordagem a partir do sistema Toyota de produção e da teoria das restrições

Relevância:

30.00% 30.00%

Publicador:

Aquisição de onsets complexos por crianças de dois a cinco anos: um estudo longitudinal com base na teoria da otimidade

Relevância:

30.00% 30.00%

Publicador:

Goodwill representado em aquisições, fusões e incorporações de empresas: um estudo sob a perspectiva da teoria institucional

Relevância:

30.00% 30.00%

Publicador:

Mestres em ciências contábeis da região sul do Brasil : um estudo à luz da teoria do capital humano

Relevância:

30.00% 30.00%

Publicador:

Aspectos estruturantes da relação direito e ciência na construção probatória do dano ambiental

Relevância:

30.00% 30.00%

Publicador:

Construção de uma estrutura de governança para o uso continuado de modelos de simulação computacional por intermédio do processo de pensamento da teoria das restrições

Relevância:

30.00% 30.00%

Publicador:

Jogos Digitais - Teoria e Conceitos para uma Mídia Indisciplinada

Relevância:

30.00% 30.00%

Publicador:

A teoria estruturante e a crítica hermenêutica do direito: (des)encontros entre Lenio Streck e Friedrich Müller

Relevância:

30.00% 30.00%

Publicador:

Uma teoria hermenêutica da responsabilidade: os direitos sociais entre o ativismo judicial e a decisão jurídica democrática

Relevância:

30.00% 30.00%

Publicador:

O sistema Toyota de produção e teoria das restrições como base para análise da função produção em empresas do setor têxtil: proposição de um instrumento de diagnóstico

Relevância:

30.00% 30.00%

Publicador: