Auf unserer Webseite werden neben den technisch erforderlichen Cookies noch Cookies zur statistischen Auswertung gesetzt. Sie können die Website auch ohne diese Cookies nutzen. Durch Klicken auf „Ich stimme zu“ erklären Sie sich einverstanden, dass wir Cookies zu Analyse-Zwecken setzen. Sie können Ihre Cookie-Einstellungen hier einsehen und ändern.
Some uses of proof theory for finding computer programs
Anmelden
Um Merklisten nutzen zu können, müssen Sie sich zunächst anmelden.
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)
