Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02092660n
Noun Concept
Categories: Algoritmos matemáticos
PT
algoritmo de Davis-Putnam  Algoritmo de Davis Putnam  Algoritmo davis-putnam  Algoritmo davis putnam
PT
O Algoritmo de Davis-Putnam, criado por Martin Davis e Hilary Putnam, foi um dos pioneiros na área de checagem da satisfatibilidade de uma fórmula quando essa encontra-se na Forma Normal Conjuntiva. Wikipedia
Definitions
Relations
Sources
PT
O Algoritmo de Davis-Putnam, criado por Martin Davis e Hilary Putnam, foi um dos pioneiros na área de checagem da satisfatibilidade de uma fórmula quando essa encontra-se na Forma Normal Conjuntiva. Wikipedia
IS A
algoritmo
NAMED AFTER
Hilary Putnam
Martin Davis
Wikipedia
PT
algoritmo de Davis-Putnam
Wikidata
PT
Algoritmo de Davis-Putnam
Wikipedia Redirections
PT
Algoritmo davis-putnam, Algoritmo davis putnam, Algoritmo de davis-putnam, Algoritmo de davis putnam, Algoritmo de Davis Putnam
Wikidata Alias
PT
Algoritmo davis-putnam, Algoritmo davis putnam, Algoritmo de davis-putnam, Algoritmo de Davis Putnam, Algoritmo de davis putnam

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