登入選單
Google圖書搜尋
Dr Gérard Huet. L'Action antistaphylococcique de l...
作者
Dr. Gérard Huet
出版1958
ISBN
OCLC:459457282
An Analysis of Böhm's Theorem
作者
Gérard Huet / Institut national de recherche en informatique et en automatique (France)
出版1993
ISBN
OCLC:35536852
The Calculus of Constructions
作者
T. Coquand / Institut national de recherche en informatique et en automatique (France) / G. Huet
出版1986
ISBN
OCLC:35491159
Residual Theory in [gamma]-calculus
作者
Gérard Huet / Institut national de recherche en informatique et en automatique (France)
出版1993
ISBN
OCLC:35536872
An Algorithm to Generate the Basis of Solutions to...
作者
Gérard Huet / Institut national de recherche en informatique et en automatique
出版1978
ISBN
OCLC:606084946
The CAML Primer
作者
Institut National de Recherche en Informatique et en Automatique / Guy Cousineau / Gérard Huet
出版1990
ISBN
OCLC:255570204
主題
Functional programming languages
Proofs by Induction in Equational Theories with Co...
作者
Gérard Huet / Jean-Marie Hullot
出版1980
ISBN
OCLC:26865470
The CAML Primer
作者
Guy Cousineau / Gerard Huet
出版1989
ISBN
OCLC:493620210
A Complete Proof of Correctness of the Knuth-Bendi...
作者
Gérard Huet
出版1980
ISBN
OCLC:26865421
The Undecidability of the Existence of a Unifying ...
作者
Gérard Huet / Jennings Computing Center
出版1972
ISBN
OCLC:606191681
Deduction and Computation
作者
G. Huet / Institut national de recherche en informatique et en automatique (France)
出版1986
ISBN
OCLC:35490896
Survey of a Few Fundamental Representation Structu...
作者
Christian Rétoré / Gérard Huet
出版2002*
ISBN
OCLC:801312526
A Mechanization of Type Theory
作者
Gérard Huet (informaticien.)
出版1973
ISBN
OCLC:461822561
A Unification Algorithm for Type Theory
作者
Gérard Huet (informaticien.)
出版1973
ISBN
OCLC:461690674
A Unification Algorithm for Typed L-calculus
作者
Gérard Huet / Institut national de recherche en informatique et en automatique
出版1974
ISBN
OCLC:606108393
Constructions: a Higher Order Proof System for Mec...
作者
Institut National de Recherche en Informatique et en Automatique / T. Coquand / G. Huet
出版1985
ISBN
OCLC:123316837
The Coq Proof Assistant
作者
Gérard Huet / Gilles Kahn / Christine Paulin-Mohring
出版1997
ISBN
OCLC:839916071
Working Material for the Lectures of ....
作者
Gérard Huet / International Summer School on Logic of Programming and Calculi of Discrete Design (1986, Marktoberdorf)
出版1986
ISBN
OCLC:633466005
An Algorithm to Generate the Basis of Solutions to...
作者
Gérard Huet
出版1978
ISBN
OCLC:26917442
Call by Need Computations in Non-ambiguous Linear ...
作者
Gérard Huet / Jean-Jacques Lévy
出版1979
ISBN
OCLC:35475081
The Gilbreath Trick
作者
Gérard Huet
出版1991
ISBN
OCLC:255800644
主題
Type theory
Call by Need Computations in Non-ambiguous Linear ...
作者
Gérard Huet
出版1979
ISBN
OCLC:500625606
A Uniform Approach to Type Theory
作者
Gérard Huet
出版1988
ISBN
OCLC:18375891
主題
Lambda calculus
Confluent reductions: abstract properties and appl...
作者
Institut de recherche d'informatique et d'automatique / Gérard Huet
出版1977
ISBN
OCLC:35465517
On the Uniform Halting Problem Term Writing System...
作者
Gérard Huet / Dallas S. Lankford / Institut national de recherche en informatique et en automatique
出版1978
ISBN
OCLC:606084958
On the Uniform Halting Problem for Term Rewriting ...
作者
Gérard Huet / Dallas Lankford
出版1978
ISBN
OCLC:26917643
Proving and Applying Program Transformations Expre...
作者
Gérard Huet / Bernard Lang
出版1977
ISBN
OCLC:26917576
On the Uniform Halting Program for Term Rewriting ...
作者
Gérard Huet / Dallas Lankford
出版1978
ISBN
OCLC:35467034
Proceedings of the First Workshop on Logical Frame...
作者
Workshop on Logical Frameworks
出版1990
ISBN
OCLC:606522304
主題
Automatic theorem proving
Pour une politique rizicole nouvelle. G. Huet. Not...
作者
Gérard Huet / J. Biard
出版Édition du Service des Études économiques, 1947
ISBN
OCLC:459457277