Das Buch ist derzeit nicht auf Lager
Rewriting and Typed Lambda Calculi
Autoren
Parameter
Buchkauf
Rewriting and Typed Lambda Calculi, Gilles Dowek
- Sprache
- Erscheinungsdatum
- 2014
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Rewriting and Typed Lambda Calculi
- Sprache
- Englisch
- Autor*innen
- Gilles Dowek
- Verlag
- Springer-Verlag GmbH
- Erscheinungsdatum
- 2014
- Einband
- Paperback
- ISBN10
- 331908917X
- ISBN13
- 9783319089171
- Kategorie
- Technik & Maschinenbau, Informatik & Programmierung