登入選單
Google圖書搜尋
Interactive Theorem Proving and Program Developmen...
作者
Yves Bertot / Pierre Castéran
出版Springer Science & Business Media, 2013-03-14
ISBN
9783662079645 / 366207964X
主題
Mathematics
UNE AUTOMATISATION DE CALCUL DES RESIDUS EN SEMANT...
作者
Yves Bertot
出版1991
ISBN
OCLC:490327714
Interactive Theorem Proving and Program Developmen...
作者
Yves Bertot / Pierre Castéran
出版Springer Science & Business Media, 2013-03-14
ISBN
9783662079645 / 366207964X
主題
Mathematics
Proof by Pointing
作者
Yves Bertot / G. Kahn / Laurent Théry
出版1993
ISBN
UCSC:32106010118658
主題
Automatic theorem proving
Alexander Men
作者
Yves Hamant
出版St Vladimir's Seminary Press, 2004
ISBN
COLUMBIA:50142811
主題
Biography & Autobiography
Lafayette in the Age of the American Revolution: A...
作者
Marie Joseph Paul Yves Roch Gilbert Du Motier marquis de Lafayette
出版1977
ISBN
UCAL:B4349455
主題
Generals
Lafayette in the Age of the American Revolution
作者
Marie Joseph Paul Yves Roch Gilbert Du Motier marquis de Lafayette / Stanley J. Idzerda
出版1977
ISBN
UOM:39015028782665
主題
Biography & Autobiography
Les bénédictines et la réforme catholique en Franc...
作者
Yves Chaussy
出版[s.l.] : Editions de la Source, 1975
ISBN
UCAL:B3245876
主題
Benedictine nuns
Basse Normandie, terre d'artistes
作者
Eric Lefèvre / Jean-Yves Laillier
出版2002
ISBN
UVA:X004683745
主題
Art, French
Fiches acadiennes du Fonds Drouin: Sources françai...
作者
Jean-Pierre-Yves Pépin
出版1999
ISBN
WISC:89073136160
主題
Acadians
Fiches acadiennes du Fonds Drouin: Sources françai...
作者
Jean-Pierre-Yves Pépin
出版1999
ISBN
WISC:89073136194
主題
Acadians
L'Abbaye d'Almenèches-Argentan et Sainte Opportune
作者
Yves Chaussy
出版1970
ISBN
UOM:39015026316789
主題
Argentan. Abbaye Notre-Dame
Un couvent dans la ville
作者
Yves Durand
出版1997
ISBN
STANFORD:36105021894725
主題
Nantes (France)
Fiches acadiennes du Fonds Drouin
作者
Jean-Pierre-Yves Pépin
出版Longueuil, Québec : Éditions historiques et généalogiques Pepin, 2000
ISBN
WISC:89073136095
主題
Reference
Le premier livre des bourgeois de fribourg (1341-1...
作者
Yves Bonfils
出版1941
ISBN
UCAL:B2615473
Les revues littéraires belges de langue française ...
作者
Paul Aron / Pierre-Yves Soucy
出版Labor Publications, 1998
ISBN
STANFORD:36105029439739
主題
Literary Criticism
L'art d'informatiser une bibliothèque
作者
Pierre-Yves Duchemin / Dominique Lahary
出版Éditions du Cercle de la Librairie, 1996
ISBN
STANFORD:36105017946695
主題
Information service
Paris, Ile-de-France, Picardie, Champagne, les Pay...
作者
Roger Brunet / Jean Bastié / Yves Babonaux
出版1973
ISBN
2030133523 / 9782030133521
主題
Champagne-Ardenne (France)