Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=041673557



Zurück



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4167355-4
Sachbegriff Lemma <Logik>
Quelle M 2.
DDC-Notation 160
511.3
Systematik 4.3 Erkenntnistheorie, Logik ; 28 Mathematik
Typ Allgemeinbegriff (saz)
Untergeordnet 2 Datensätze
  1. Neyman-Pearson-Lemma
    Lemma <Logik>
  2. Tetralemma
    Lemma <Logik>
Thema in 2 Publikationen
  1. Relevancy based use lemmas in connection tableau calculi
    Fuchs, Marc. - Berlin : Akad. Verl.-Ges. Aka, 2000
  2. Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
    Heinz, Birgit. - München : Oldenbourg, 1996
Maschinell verknüpft mit 144 Publikationen
  1. Verschiedene Aspekte von Modulformen in mehreren Variablen
    Hauffe-Waschbüsch, Adrian. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
  2. Beiträge zur Numerischen Mathematik. Band 5
    Berlin/München/Boston : De Gruyter, 2020, Reprint 2019
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration