sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000119325321 | 1 hits
Person
ISNI: 
0000 0001 1932 5321
Name: 
Gérard Huet
Gérard Huet (Frans informaticus)
Gérard Huet (fransk ingeniør og informatikar)
Gérard Huet (fransk ingeniør og informatiker)
Gérard Huet (fransk ingenjör och datavetare)
Gérard Huet (französischer Informatiker)
Gérard Huet (French computer scientist)
Gérard Huet (logicien et chercheur en informatique théorique français)
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
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
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
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
Lexique sanscrit-français à l'usage de glossaire indianiste, 1996:
Logical environments
Logical foundations of functional programming
Logical frameworks
Machines d'Eilenberg effectives
Mechanization of type theory
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
Projet prévision-réalisation des vols, par Gérard Huet,..
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, [and] 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
Unification algorithm for type theory
Notes: 
Sources: 
VIAF LC NUKAT SUDOC WKD
BOWKER
NTA
TEL