Ergebnis der Suche nach: nid=4166495-4

Treffer 1 von 1

Link zu diesem Datensatz	https://d-nb.info/gnd/4166495-4
Sachbegriff	Lambda-Kalkül
Quelle	Lex. Informatik
Synonyme	Churchscher Lambda-Kalkül
DDC-Notation	511.35
Systematik	28 Mathematik ; 30 Informatik, Datenverarbeitung
Typ	Allgemeinbegriff (saz)
Andere Normdaten	LCSH: Lambda calculus RAMEAU: Lambda-calcul
Untergeordnet	3 Datensätze Church-Rosser-Theorem Lambda-Kalkül Partielle kombinatorische Algebra Lambda-Kalkül ...
Thema in	46 Publikationen Mathematische Grundlagen der Informatik Pohlers, Wolfram. - Berlin/München/Boston : De Gruyter, 2020, Reprint 2020 [Big data] Big Data Marz, Nathan. - Frechen : mitp, 2016, 1. Auflage ...
Maschinell verknüpft mit	1 Publikation Cassandra-Datenbank. Von der Theorie zur Praxis Brühl, Moritz. - München : GRIN Verlag, 2024, 1. Auflage

Treffer 1 von 1