Clausal Theory of Types, The

Wolfram, D.A.

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
134
Parution
avril 1993
Format
Cartonné
Langue
Anglais
Dimensions
247 × 174 × 10 cm
EAN
9780521395380
  • 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