登入選單
Google圖書搜尋
From Semantics to Computer Science
作者
Gilles Kahn / Yves Bertot
出版Cambridge University Press, 2009-09-24
ISBN
9780521518253 / 0521518253
主題
Computers
A Simple Applicative Language: MINI-ML.
作者
Dominique Clément / Institut national de recherche en informatique et en automatique (France) / J. Despeyroux / T. Despeyroux / Gilles Kahn
出版1986
ISBN
OCLC:35491293
The Coq Proof Assistant
作者
Gérard Huet / Gilles Kahn / Christine Paulin-Mohring
出版1995
ISBN
OCLC:839913903
Functional Programming Languages and Computer Arch...
作者
Gilles Kahn
出版2014-01-15
ISBN
3662166518 / 9783662166512
A Complete Machine-checked Definition of a Simple ...
作者
Véronique Donzeau-Gouge
出版1978
ISBN
OCLC:35469630
Semantics of Data Type
作者
Gilles Kahn / D.B. Mac Queen / Gordon Plotkin
出版1984
ISBN
OCLC:859817410
Semantics of Concurrent Computation. International...
作者
Gilles Kahn
出版1979
ISBN
OCLC:859808909
Extracting Texts from Proofs
作者
Yann Coscoy / Gilles Kahn / Laurent Théry / Institut national de recherche en informatique et en automatique
出版1995
ISBN
OCLC:607589066
Programming Environments Based on Structured Edito...
作者
Véronique Donzeau-Gouge
出版1980
ISBN
OCLC:257882266
主題
MENTOR (Computer program language)
Real Theorem Provers Deserve Real User-interfaces
作者
Institut National de Recherche en Informatique et en Automatique / L. Thery / Y. Bertot / G. Kahn
出版1992
ISBN
OCLC:123334182
主題
Automatic theorem proving
Extracting Text from Proofs
作者
Institut National de Recherche en Informatique et en Automatique / Yann Coscoy / Gilles Kahn / Laurent Thery
出版1995
ISBN
OCLC:123339278
Functional Programming Languages and Computer Arch...
出版1987
ISBN
0387183175 / 9780387183176
1991 IEEE Symposium on Logic in Computer Science
作者
Gilles Kahn / Symposium on Logic in Computer Science / IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing / Institute of Electrical and Electronics Engineers
出版1994
ISBN
OCLC:437071900
Domaines concrets
作者
Gilles Kahn / Gordon Plotkin
出版1978
ISBN
OCLC:26917955
Algorithmes d'équivalence et de réduction à des ex...
作者
B. Courcelle / Gilles Kahn / Jean Vuillemin
出版1973
ISBN
OCLC:461693466
La sécurité sur les chantiers du bâtiment
作者
Gilles Kahn / François Lautier
出版1988
ISBN
2110853581 / 9782110853585
Charte pour le developpement de l'offre legale de ...
作者
Antoine Brugidou
出版2005
ISBN
OCLC:1346606069
Keynes and His Battles
作者
Gilles Dostaler
出版Edward Elgar Publishing, 2007
ISBN
STANFORD:36105123330024
主題
Biography & Autobiography
Manuel d'utilisation FLIP
作者
Gilles Kahn
出版1981
ISBN
OCLC:26936348
The Monsanto Papers
作者
Gilles-Éric Seralini / Jérôme Douzelet
出版Simon and Schuster, 2021-11-16
ISBN
9781510767645 / 1510767649
主題
Science