Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01893665n
Noun Concept
Categories: Intelligenza artificiale
IT
dimostrazione automatica di teoremi  Automated theorem proving  Dimostratore automatico dei teoremi  deduzione automatica  prover teorema automatizzato
IT
La dimostrazione automatica di teoremi o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico. Wikipedia
Definitions
Relations
Sources
IT
La dimostrazione automatica di teoremi o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico. Wikipedia
IS A
logica matematica
HAS KIND
EN
CARINE
EN
Prover9
EN
Logic for Computable Functions
SPASS
Otter
+2 relations
HAS INSTANCE
EN
Vampire
Wikipedia
IT
dimostrazione automatica di teoremi
Wikidata
IT
dimostrazione automatica di teoremi
Wikipedia Redirections
IT
Automated theorem proving, Dimostratore automatico dei teoremi
Wikipedia Translations
IT
deduzione automatica, prover teorema automatizzato, proving teorema

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