Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 74 von 623 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4145177-6
Sachbegriff Beweistheorie
Quelle M
DDC-Notation 511.36
Systematik 28 Mathematik
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Proof theory
RAMEAU: Théorie de la démonstration
Untergeordnet 2 Datensätze
  1. Funktionalinterpretation
    Beweistheorie
  2. Hilbertsches Programm
    Beweistheorie
Thema in 107 Publikationen
  1. Saved from the Cellar
    Plato, Jan von. - Cham : Springer International Publishing, 2017, 1st edition 2017
  2. Saved from the cellar
    Plato, Jan von. - Cham, Switzerland : Springer, [2017], [1st edition]
  3. ...
Maschinell verknüpft mit 6 Publikationen
  1. On the Proof Complexity of Linear Programming Based Branch-and-Bound
    Gläser, Maximillian. - München : Verlag Dr. Hut, 2024
  2. Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
    Pischke, Nicholas Norbert. - Darmstadt : Universitäts- und Landesbibliothek, 2024
  3. ...





Treffer 74 von 623
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration