Knihobot
Knihu momentálně nemáme skladem

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

Parametry

Nákup knihy

Rewriting and Typed Lambda Calculi, Gilles Dowek

Jazyk
Rok vydání
2014
Jakmile se objeví, pošleme e-mail.

Doručení

  •  

Platební metody

Nikdo zatím neohodnotil.Ohodnotit