Buscar
Mostrando ítems 1-10 de 589
Carta mecanografiada
(Centro de Estudios de Historia de México CARSO, 2013)
Terminal del norte
(Universidad de los AndesDiseñoFacultad de Arquitectura y DiseñoDepartamento de Diseño, 2008)
Viscoelastic Properties of Tomato Juice: Applicability of the Cox-Merz Rule
(SpringerNew YorkEUA, 2013)
Rheological properties of selected Brazilian honeys as a function of temperature and soluble solid concentration
(International Journal of Food Properties, 2019)
Diseño y construcción de un elevador automático para el telescopio Merz
(QUITO/ EPN/ 2009, 2009)
Modal satisfiability via SMT solving
(2015)
Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision ...