Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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: 
Construction, amélioration de programmes
Interactive theorem proving and program development Coq'Art : the calculus of inductive constructions
Logical environments
Logical foundations of functional programming
Logical frameworks [first annual Workshop of the ESPRIT Basic Research Action 3245, "Logical Frameworks : Design, Implementations and Experiment", Sophia-Antipolis, 7th-11th of May, 1990]
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
Notes: 
Sources: 
VIAF LC NTA NUKAT SUDOC WKP
TEL