The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science - Wolfram, D. A. (University of Oxford) - Libros - Cambridge University Press - 9780521117906 - 30 de julio de 2009
En caso de que portada y título no coincidan, el título será el correcto

Wolfram, D. A. (University of Oxford)
The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science

Precio
$ 46,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 2 - 21 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Wolfram, D. A. (University of Oxford)

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.

136 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de julio de 2009
ISBN13 9780521117906
Editores Cambridge University Press
Páginas 136
Dimensiones 170 × 244 × 7 mm   ·   230 g
Lengua Inglés  

Más del mismo editor

Ver todo de Wolfram, D. A. (University of Oxford) ( Ej. Paperback Book y Hardcover Book )