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
The Art of Invisibility Mitnick, Kevin; Vamosi, Robert CHF 19.90
Black Swan, The: The Impact of the Highly Improbable Taleb, Nassim Nicholas CHF 14.90
Social Engineering: The Art of Human Hacking Hadnagy, Christopher CHF 35.90
The New Digital Age Schmidt, Eric; Cohen, Jared CHF 27.90
Reasoned Schemer, The Friedman, Daniel P. Byrd, William E. Kiselyov, Oleg CHF 48.40
Swift Programming: The Big Nerd Ranch Guide Mathias, Matthew Gallagher, John
Retour en haut de page