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=153.4*

Zurück zur Trefferliste


Treffer 34 von 101 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4222014-2
Sachbegriff Induktionsbeweis
Quelle W Math, W Logik
Synonyme Induktiver Beweis
Oberbegriffe Beweis
Induktion
DDC-Notation 153.432
511.36
Systematik 28 Mathematik ; 4.3 Erkenntnistheorie, Logik
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Induction (Mathematics)
RAMEAU: Induction (mathématiques)
Thema in 16 Publikationen
  1. Invariantengenerierung für die Verifikation von System-on-Chip-Protokollimplementierungen
    Thalmaier, Max. - Berlin : dissertation.de - Verl. im Internet, 2011, Als Ms. gedr.
  2. Verification, induction, termination analysis
    Berlin : Springer, 2010
  3. ...
Maschinell verknüpft mit 5 Publikationen
  1. Initiierung und endokrine Kontrolle der Geburt bei Haussäugetieren – Teil 2
    Enthalten in Tierärztliche Praxis / Ausgabe G / Großtiere, Nutztiere Bd. 51, 2023, Nr. 06: 377-385
  2. Buchbesprechung
    Enthalten in Mathematische Semesterberichte 22.6.2020: 1-5
  3. ...





Treffer 34 von 101
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration