Passer au contenu principal

Come join our latest LibraryThing Hunt!

Photo de l'auteur

Gerard Huet

Auteur de Logical Foundations of Functional Programming (Ut Year of Programming Series)

5+ oeuvres 19 utilisateurs 0 critiques

A propos de l'auteur

Comprend les noms: Gérard Huet, Gérard Huet

Œuvres de Gerard Huet

Populaires Récent

Logical Foundations of Functional Programming (Ut Year of Programming Series) (1990) 9 exemplaires

Logical Frameworks (1991) 4 exemplaires

Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007… (2009) 3 exemplaires

Logical Environments (1993) 2 exemplaires

H'{e}ritage du sanskrit: dictionnaire sanskrit-franc{c}ais 1 exemplaire

Explorateur d'oeuvres

Oeuvres associées

Interactive Theorem Proving and Program Development (2004) — Avant-propos — 40 exemplaires

Étiqueté

Computing Science (1) conference proceedings (1) Dictionnaire (1) electrical-engineering-and-computer-science (subject) (1) electrical-engineering-and-computer-science/6-883-program-analysis-fall-2005 (course) (1) Informatique (5) Informatique (1) JWGCLDB (1) Langage (1) Lexique (1) Linguistique informatique (1) Logique (2) Mathématiques (1) MIT OCW (1) Programmation fonctionnelle (1) Programmation informatique (1) Pāṇini (1) Sanskrit (3) School of Engineering (school) (1)

Traduction des mots-clés activée

Partage des connaissances

Il n’existe pas encore de données Common Knowledge pour cet auteur. Vous pouvez aider.

Membres

Vous aimerez peut-être aussi

Auteurs associés

Statistiques

Œuvres: 5
Aussi par: 1
Membres: 19
Popularité: #609,294
Évaluation: ½ 2.7

ISBN: 7
Langues: 1

Photos

Galerie des auteurs

Liens

Centre d'aide

Les membres de LibraryThing améliorent les auteurs en combinant les noms d'auteurs et les œuvres, en séparant les auteurs homonymes en identités distinctes, et bien plus encore.

Est-ce vous ?

Devenez un(e) auteur LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.