El libro está agotado actualmente

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

Autores

Gilles Dowek

Parámetros

Informática, IT, Programación
Tecnología / Ingeniería

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

Detalles de la ediciónSugerir una corrección