Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
35.90 EUR
Preis aktualisiert am: 24-04-2026 06:30:35
35.90 EUR
Preis aktualisiert am: 24-04-2026 06:30:35 | Bezeichner | |
|---|---|
| ISBN | Troullinos, Nikos B. 1612337570 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Troullinos, Nikos B.
