Bookbot
Das Buch ist derzeit nicht auf Lager

Rewriting and Typed Lambda Calculi

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Parameter

Buchkauf

Rewriting and Typed Lambda Calculi, Gilles Dowek

Sprache
Erscheinungsdatum
2014
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben