Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
Seiten
2011
Dissertation.Com (Verlag)
978-1-61233-757-9 (ISBN)
Dissertation.Com (Verlag)
978-1-61233-757-9 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
Erscheint lt. Verlag | 20.10.2011 |
---|---|
Sprache | englisch |
Maße | 189 x 246 mm |
Gewicht | 454 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Naturwissenschaften ► Physik / Astronomie | |
Technik ► Elektrotechnik / Energietechnik | |
ISBN-10 | 1-61233-757-0 / 1612337570 |
ISBN-13 | 978-1-61233-757-9 / 9781612337579 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95