Um estudo de C omega em calculo de sequentes e dedução natural
Orientador: Itala Maria Loffredo D'OttavianoTese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias HumanasResumo: A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1w, desenvolve-se uma análise ...
Moura, José Eduardo de Almeida
core
"In Mathematical Language": On Mathematical Foundations of Quantum Foundations. [PDF]
Plotnitsky A.
europepmc +1 more source
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. [PDF]
Blanchette JC +3 more
europepmc +1 more source
Big-Data Science in Porous Materials: Materials Genomics and Machine Learning. [PDF]
Jablonka KM +3 more
europepmc +1 more source
Bayesian factor selection in a hybrid approach to confirmatory factor analysis. [PDF]
Nie J, Yu J.
europepmc +1 more source
Markov Boundary Discovery with Ridge Regularized Linear Models. [PDF]
Strobl EV, Visweswaran S.
europepmc +1 more source
Hilbert's problems, Kant, and decidability. [PDF]
Bodner M.
europepmc +1 more source
Tracking of Lines in Spherical Images via Sub-Riemannian Geodesics in SO(3). [PDF]
Mashtakov A +4 more
europepmc +1 more source
An innovative cellular medicine approach via the utilization of novel nanotechnology-based biomechatronic platforms as a label-free biomarker for early melanoma diagnosis. [PDF]
Alqabandi JA +4 more
europepmc +1 more source

