Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03306759n
Noun Concept
IT
semantica assiomatica
IT
Approccio basato sulla logica matematica per dimostrare la correttezza di programmi informatici, strettamente legato alla logica di Hoare. OmegaWiki
Definitions
Relations
Sources
IT
Approccio basato sulla logica matematica per dimostrare la correttezza di programmi informatici, strettamente legato alla logica di Hoare. OmegaWiki
IS A
semantica formale
HAS KIND
EN
algebraic semantics
Wikidata
IT
semantica assiomatica
OmegaWiki
IT
semantica assiomatica
Wikipedia Translations
IT
semantica assiomatica

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