نشرت في: Mars 2000
L’inscription du lecteur est un moment privilégié de contact entre la bibliothèque et son public et donne lieu à un certain nombre de rites. Ce mome...
نشرت في: 2000
نشرت في: June 1972
The purpose of th]s paper is to point out the sigmficant quantity of work in progress on techmques that will enable programmers to prove their progra...
نشرت في: September 1972
This is a tutorial paper on the linking and loading stages of the language transformation process First, loaders are classffied and discussed Next, t...
Russell's logical paradox, formulated in terms of English adjectives, is cons]dered as a convenient starting point for this discussion of incomputabl...
