Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000119325321 | 1 hits
Person
ISNI: 
0000 0001 1932 5321
Name: 
Huet, G.
Huet, Gérard
Huet, Gérard (informaticien)
Huet, Gérard P.
Huet, Gérard Pierre
Dates: 
1947-...
Creation class: 
Computer file
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
writer of accompanying material
Related names: 
Bertot, Yves (1964-....))
Castéran, Pierre
Kulkarni, Amba
Kulkarni, Amba P.
Paulin-Mohring, Christine (1962- ))
Plotkin, G. (1946-)
Plotkin, Gordon (1946- ))
Plotkin, Gordon (1946-)
Scharf, Peter
Société D'Informatique, De Conseils Et De Recherche Opérationnelle. [Paris.]
Springer-Verlag (Berlin)
Titles: 
Comprendre les méthodes formelles panorama et outils logiques
Construction, amélioration de programmes
Formal Structures for Computation and Deduction
Formes canoniques dans les algèbres finiment présentées
From semantics to computer science essays in honour of Gilles Kahn
Gestion des données dans les systèmes informatiques, La
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
Lexique sanscrit-français à l'usage de glossaire indianiste, 1996:
Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation
Logical environments
Logical foundations of functional programming
Logical Frameworks
Machines d'Eilenberg effectives
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
Proceedings, 15th International Conference TPHOL
Projet prévision-réalisation des vols, par Gérard Huet,.., Le
Proving and improving programs
Résolution d'équations dans les langages d'ordre 1, 2, ...,ω
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
Spécifications pour une base commune de données
Systèmes d'information : introduction à une construction participative
Notes: 
Sources: 
VIAF LC NTA NUKAT SUDOC WKP
TEL