Name: reasoning in simple type theory: festschrift in honor of peter b. andrews on his 70th birthday
Price: 53.13 EUR
Availability: InStock
Author: christoph benzmueller
ISBN: 9781904987703

portada reasoning in simple type theory: festschrift in honor of peter b. andrews on his 70th birthday

Formato

Libro Físico

Editorial

college publications

Autor

christoph benzmueller

N° páginas

460

ISBN

1904987702

ISBN13

9781904987703

Categorías

Inteligencia artificial

reasoning in simple type theory: festschrift in honor of peter b. andrews on his 70th birthday

Christoph Benzmueller (Autor) · college publications · Libro Físico

Libro Nuevo

53,13 €

55,92 €

Ahorras: 2,80 €

5% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Martes 18 de Junio y el Viernes 05 de Julio.

Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "reasoning in simple type theory: festschrift in honor of peter b. andrews on his 70th birthday"

reasoning in simple type theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contributed articles. for the reprints we have chosen a paper by alonzo church (introducing his simple theory ...