We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
Theoretical study of the formal foundation enabling the automated processing or computation of information, for example on a computer or over a data transmission network.