Sortiert nach
Studies in logic and the foundations of mathematics : 103 (Alle Bände)
Rev. ed., 2. print, 1985
Signatur: TCL3149
1. paperback ed, 2003
Signatur: TVA3182
Probability, its Applications
2006
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Barendregt, Hendrik P
- Bell, Denis R
- Boehme, Thomas K
- Krämer, Sybille
- Mikusiński, Jan
- Nualart, David
- Pohlers, Wolfram
- Abramsky, Samson
- Aman, Bogdan
- Benthem, Johan <<van>>
- Bichteler, Klaus
- Bittel, Oliver
- Brauer, W
- Brézis, Haïm
- Cao, Huai-Dong
- Chow, Bennett
- Ciobanu, Gabriel
- Costabile, Francesco Aldo
- Cramer, Florian
- Curry, Haskell B
Erscheinungsform
Schlagwort
- Lambda-Kalkül
- Computer science
- Typisierter Lambda-Kalkül
- Logic design
- Malliavin-Kalkül
- Kalkül
- Heaviside-Kalkül
- Logic, Symbolic and mathematical
- Funktionale Programmierung
- Kategorientheorie
- Reduktionssystem
- Stochastische Analysis
- Beweistheorie
- Distribution (Probability theory)
- Electronic data processing
- Typentheorie
- Algebra
- Artificial intelligence
- Automatisches Beweisverfahren
- Berechenbarkeit
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts