The clausal theory of types / D.A. Wolfram
Autor principal: | Wolfram, D.A |
---|---|
Formato: | Libro |
Publicación: |
Cambridge, United Kingdom : Cambridge University Press, 1993 |
Descripción física: | VIII, 124 p. ; 25 cm |
Clasificación CDU: |
* 681.3 681.3 |
Título abreviado: |
Cambridge tracts in theoretical computer science |
Materias: | |
ISBN: |
0521395380 |
Córdoba - Depósito
Copia 55442 | Disponible |
---|