Bookbot
Il libro è attualmente esaurito

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

Parametri

Acquisto del libro

Rewriting and Typed Lambda Calculi, Gilles Dowek

Lingua
Pubblicato
2014
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione