Het boek is momenteel niet op voorraad

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

Auteurs

Gilles Dowek

Parameters

Een boek kopen

Rewriting and Typed Lambda Calculi, Gilles Dowek

Taal
Jaar van publicatie: 2014

Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief

Informatie over de releaseEen wijziging voorstellen