Knihobot
Kniha momentálne nie je na sklade

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

Parametre

Nákup knihy

Rewriting and Typed Lambda Calculi, Gilles Dowek

Jazyk
Rok vydania
2014
Akonáhle sa objaví, pošleme e-mail.

Doručenie

  •  

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť