Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten 30.04.2025: Die Lesesäle im Hauptgebäude der Deutschen Nationalbibliothek in Leipzig schließen wegen einer Veranstaltung um 14 Uhr. Der Museums- und der Musiklesesaal sowie der Servicebereich sind bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // The reading rooms in the main building of the German National Library in Leipzig will close at 14:00 due to an event. The museum reading room, the music reading room and the service area are open until 18.00. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: nid=4145177-6



Treffer 1 von 1 < < > <



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 105 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 1 von 1
< < > <


E-Mail-IconAdministration