登入選單
Google圖書搜尋
出版社 : E.T. Kahn總數: gridview
Gauguin [Kahn].
作者
Gustave Kahn
出版1925
ISBN
OCLC:921064719
Auguste Rodin
作者
Gustave Kahn
出版1936
ISBN
CORNELL:31924020517748
Kind of blue
作者
Ashley Kahn
出版2017-06-15
ISBN
2360543415 / 9782360543410
Natural Semantics
作者
G. Kahn
出版1987
ISBN
OCLC:17810354
主題
Interactive computer systems
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
CENTAUR: the System
作者
Institut National de Recherche en Informatique et en Automatique / P. Borras / D. Clement / T. Despeyroux / J. Incerpi / G. Kahn / B. Lang / V. Pascual
出版1987
ISBN
OCLC:123329429
主題
Man-machine systems
Extracting Texts from Proofs
作者
Yann Coscoy / Gilles Kahn / Laurent Théry / Institut national de recherche en informatique et en automatique
出版1995
ISBN
OCLC:607589066
Francois Boucher
出版1935
ISBN
OCLC:254921696
A Complete Machine-checked Definition of a Simple ...
作者
Véronique Donzeau-Gouge
出版1978
ISBN
OCLC:35469630
The Coq Proof Assistant
作者
Gérard Huet / Gilles Kahn / Christine Paulin-Mohring
出版1997
ISBN
OCLC:839916071
The clinical Significance of uropepsinogen assay
作者
Alvin J. Kahn
出版1957
ISBN
OCLC:720914132
The Clinical Significance of Uropepsinogen Assay
作者
Alvin I. Kahn
出版1957
ISBN
OCLC:18432829
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
Isidore Loeb, 1839-1892
作者
Zadoc Kahn
出版189?
ISBN
OCLC:474636713
Art Treasures from India
作者
J. Auboyer / S. Kahn / M. Hamelle
出版1962
ISBN
OCLC:840486111