Clausal Theory of Types, The

Wolfram, D. A.

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
136
Parution
juillet 2009
Format
Livre broché
Langue
Anglais
Dimensions
244 × 170 × 7 cm
EAN
9780521117906
  • Résumé

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page