VIAF

Virtual International Authority File

Search

Huet, Gérard, 1947-...., informaticien Sudoc [ABES], France National Library of France

Huet, Gérard National Library of the Netherlands Library of Congress/NACO

Huet, Gérard 1947- NUKAT Center of Warsaw University Library ISNI

Gérard Huet Wikidata

Huet, G. German National Library

VIAF ID: 14812854 (Personal)

Permalink: http://viaf.org/viaf/14812854

ISNI: 0000  0001  1932  5321 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (11)

Open Section Close SectionWorks

Title Sources
Comprendre les méthodes formelles panorama et outils logiques Sudoc [ABES], France
Construction, amélioration de programmes Sudoc [ABES], France National Library of France
Formes canoniques dans les algèbres finiment présentées Sudoc [ABES], France
From semantics to computer science essays in honour of Gilles Kahn Sudoc [ABES], France
Gestion des données dans les systèmes informatiques National Library of France Library of Congress/NACO
Interactive theorem proving and program development Coq'Art : the calculus of inductive constructions NUKAT Center of Warsaw University Library Sudoc [ABES], France
Lexique sanscrit-français à l'usage de glossaire indianiste, 1996: Library of Congress/NACO
Logical environments Sudoc [ABES], France National Library of France Library of Congress/NACO
Logical foundations of functional programming National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Logical Frameworks xR Extended Titles NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Machines d'Eilenberg effectives Sudoc [ABES], France
Mechanization of type theory National Library of France
Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types application à la Théorie des Catégories Sudoc [ABES], France
Projet prévision-réalisation des vols, par Gérard Huet,.. Sudoc [ABES], France National Library of France
Proving and improving programs Sudoc [ABES], France National Library of France
Résolution d'équations dans les langages d'ordre 1, 2, ...,ω Sudoc [ABES], France National Library of France
Sanskrit Computational Linguistics : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers xR Extended Titles Sudoc [ABES], France Library of Congress/NACO National Library of France
Spécifications pour une base commune de données Sudoc [ABES], France National Library of France
Systèmes d'information : introduction à une construction participative Library of Congress/NACO
Unification algorithm for type theory National Library of France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:14812854 (48)