In addition to the technically required cookies, our website also uses cookies for statistical evaluation. You can also use the website without these cookies. By clicking on "I agree" you agree that we may set cookies for analysis purposes. You can see and change your cookie settings here.
Some uses of proof theory for finding computer programs
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
1977
Enthält: 2 Sonderdrucke des Artikels "Some uses of proof theory for finding computer programs" aus: Colloque International de Logique, Clermont-Ferrand, 18-25 Juillet 1975, hg. v. M. Guillaume, Paris 1977 ( Colloques Internationaux du Centre National de la Recherche Scientifique 249)
