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
$ 88,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 1 - 18 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.

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) ( Ej. Paperback Book y Hardcover Book )