Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning
por Arnold Beckmann · 2018
Sinopsis
Presenta el sistema de Deducción Natural Híper para la Lógica de Gödel, permitiendo un razonamiento paralelo eficiente en sistemas lógicos. [csauthors.net](https://www.csauthors.net/arnold-beckmann/)
Sé el primero en valorar este libro.
Más de Arnold Beckmann
Ver autor →Otras obras del mismo autor en el catálogo
A term rewriting characterization of the polytime functions and related complexity classes
1996
Exact bounds for lengths of reductions in typed λ-calculus
2001
Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic
2009
Parity Games and Propositional Proofs
2013
Safe Recursive Set Functions
2015
Cyber-Physical Trust Systems Driven by Blockchain
2020
KSPMI: A Knowledge-based System for Predictive Maintenance in Industry 4.0
2022
Libros similares
Libros relacionados según distintos criterios de búsqueda