Buscar
Mostrando ítems 11-20 de 14378
Propositional equality for gradual dependently typed programming
(ACM, 2022)
Gradual dependent types can help with the incremental adoption of dependently typed code by providing a principled semantics for imprecise types and proofs, where some parts have been omitted. Current theories of gradual ...
Strategy alignment in service system: the fit between the strategies of value proposition and of the service supply chain
(Universidade Federal de Minas GeraisBrasilENG - DEPARTAMENTO DE ENGENHARIA PRODUÇÃOFCE - DEPARTAMENTO DE CIÊNCIAS ADMINISTRATIVASUFMG, 2017)
RÁPIDA Y PERTINENTE BÚSQUEDA POR INTERNET MEDIANTE OPERADORES BOOLEANOS
Internet is a great and modern tool to look for information about a particular problem, it is like to have simultaneous access to several libraries in the orld. In any search one usually gets a huge of information and some ...
RÁPIDA Y PERTINENTE BÚSQUEDA POR INTERNET MEDIANTE OPERADORES BOOLEANOS
(Pontificia Universidad Javeriana, 2018)
Towards a Theory of Propositional Curriculum Content
(John Wiley & Sons, 2014)
This article addresses two questions. The first question is this: ‘when ought teachers to encourage or discourage students’ belief of a given proposition on the one hand (call this ‘directive teaching’), and when ought ...
Towards a Theory of Propositional Curriculum Content
(John Wiley & Sons, 2014)
This article addresses two questions. The first question is this: ‘when ought teachers to encourage or discourage students’ belief of a given proposition on the one hand (call this ‘directive teaching’), and when ought ...
Carmichael on propositions and universals
(EUNSA, 2013)
Preconditions and propositions for "another development"
(ECLA, 1977-11)
Propositional calculus and binary calculusPropositional calculus and binary calculus (ESP)
(Universidad Nacional de Costa Rica, 2016)