Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:21706407n
Noun Concept
Categories: Τυπικές μέθοδοι, Λογική για Υπολογιστές, Γλώσσες προγραμματισμού
EL
τυπική σημασιολογία των γλωσσών προγραμματισμού  Τυπική σημασιολογία των γλωσών προγραμματισμού
EL
Στη θεωρητική πληροφορική, η τυπική σημασιολογία είναι το πεδίο που ασχολείται με την αυστηρή μαθηματική μελέτη της σημασίας των γλωσσών προγραμματισμού και των υπολογιστικών μοντέλων. Wikipedia
English:
computer science
Definitions
Relations
Sources
EL
Στη θεωρητική πληροφορική, η τυπική σημασιολογία είναι το πεδίο που ασχολείται με την αυστηρή μαθηματική μελέτη της σημασίας των γλωσσών προγραμματισμού και των υπολογιστικών μοντέλων. Wikipedia
HAS PART
θεματικές σχέσεις
HAS KIND
λειτουργική σημασιολογία
αξιωματική σημασιολογία
δηλωτική σημασιολογία
Wikipedia
EL
τυπική σημασιολογία των γλωσσών προγραμματισμού
Wikidata
EL
Τυπική σημασιολογία των γλωσσών προγραμματισμού
Wikipedia Redirections
EL
Τυπική σημασιολογία των γλωσών προγραμματισμού
Wikidata Alias
EL
Τυπική σημασιολογία των γλωσών προγραμματισμού

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