Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.
 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 572 von 623 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4121795-0
Sachbegriff Typentheorie
Quelle M
Erläuterungen Verwendungshinweis: Nur im Bereich Logik und Theoretische Informatik verwenden. Nicht für psychologische oder andere sozialwiss. Theorien.
Synonyme Stufentheorie <Mathematik>
Typtheorie (Lex. Information Kommunikationstechnik)
Type theory
Typenlogik (W Kognitionswiss.)
DDC-Notation 511.3
Systematik 4.3 Erkenntnistheorie, Logik ; 28 Mathematik ; 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Type theory
RAMEAU: Théorie des types
Untergeordnet 2 Datensätze
  1. Martin-Löf-Typentheorie
    Typentheorie
  2. Transfinite Typentheorie
    Typentheorie
Thema in 95 Publikationen
  1. Mathematical formulae
    Kubota, Ken. - Berlin : Owl of Minerva Press, 2017, First edition
  2. Logical Aspects of Computational Linguistics
    LACL (9. : 2016 : Nancy). - Berlin, Germany : Springer, [2016], [1st ed.]
  3. ...
Maschinell verknüpft mit 16 Publikationen
  1. Programming with Symmetric Data and Codata Types
    Binder, David. - Tübingen : Universitätsbibliothek Tübingen, 2024
  2. Computationelle Perspektive auf moderne Typentheorie
    Özbey, Eray. - München : GRIN Verlag, 2021, 1. Auflage, digitale Originalausgabe
  3. ...





Treffer 572 von 623
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration