Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00713519n
Noun Concept
Categories: Teoría de la demostración
ES
lógica combinatoria  logica combinatoria  combinador
ES
La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad y la teoría de la prueba. Wikipedia
Definitions
Relations
Sources
ES
La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad y la teoría de la prueba. Wikipedia
IS A
disciplina académica
lógica
HAS KIND
EN
Binary combinatory logic
sistema B, C, K, W
DESCRIBED BY SOURCE
Enciclopedia soviética armenia
Wikipedia
ES
lógica combinatoria
Wikidata
ES
lógica combinatoria
Wikipedia Redirections
ES
Logica combinatoria
Wikidata Alias
ES
logica combinatoria, Logica combinatoria
Wikipedia Translations
ES
combinador, lógica combinatoria

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License