Bookbot

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

Compra de libros

Rewriting and Typed Lambda Calculi, Gilles Dowek

Idioma
Publicado en
2014
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña