The Clausal Theory of Types - Cambridge Tracts in Theoretical Computer Science - Wolfram, D. A. (University of Oxford) - Libros - Cambridge University Press - 9780521395380 - 22 de abril de 1993
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
Mex$ 1.634
sin IVA

Pedido desde almacén remoto

Entrega prevista 2 - 18 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
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.

134 pages, d.tabs.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 22 de abril de 1993
ISBN13 9780521395380
Editores Cambridge University Press
Páginas 134
Dimensiones 177 × 254 × 11 mm   ·   406 g
Lengua Inglés  

Más del mismo editor

Ver todo de Wolfram, D. A. (University of Oxford)