4.5
Història 
Agenda 
Llibreries 
Inici 
Detalls del llibre
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
Llegir més - Autor/a D. A. (University Of Oxford) Wolfram
- ISBN13 9780521117906
- ISBN10 0521117909
- Pàgines 136
- Any Edició 2009
- Fecha de publicación 30/07/2009
- Idioma Alemany, Francès
Ressenyes i valoracions
Sigues la primera persona a valorar-lo!
Has llegit Clausal Theory of Types?
Clausal Theory of Types (Alemany, Francès)
- De
- D. A. (University Of Oxford) Wolfram
- 9780521117906
34,58€
36,40€
-5%
Enviament Gratuït
No disponible
34,58€
36,40€
-5%
Enviament Gratuït
No disponible
Devolució gratuïta
Gràcies per comprar a llibreries reals!
Whatsapp
Facebook
Linkedin
X
