登入選單
Google圖書搜尋
Interactive Theorem Proving and Program Developmen...
作者
Yves Bertot / Pierre Castéran
出版Springer Science & Business Media, 2004-05-14
ISBN
3540208542 / 9783540208549
主題
Mathematics
Implementation of an Interpreter for a Parallel La...
作者
Institut National de Recherche en Informatique et en Automatique / Yves Bertot
出版1989
ISBN
OCLC:123324671
主題
ESTEREL (Computer program language)
Reasoning with Executable Specifications
作者
Institut National de Recherche en Informatique et en Automatique / Yves Bertot / Ranan Fraer
出版1996
ISBN
OCLC:123341489
Proof by Pointing
作者
Yves Bertot / G. Kahn / Laurent Théry
出版1993
ISBN
UCSC:32106010118658
主題
Automatic theorem proving
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
The Origins of [lambda]-calculus and Term Rewritin...
作者
Yves Bertot
出版1991
ISBN
OCLC:27697702
主題
Lambda calculus
Proceedings of the 6th ACM SIGPLAN Conference on C...
作者
Yves Bertot
出版2017-01-16
ISBN
1450347053 / 9781450347051
Des environnements de programmation aux environnem...
作者
Yves Bertot
出版1999
ISBN
OCLC:494707763
Une automatisation du calcul des residus en semant...
作者
Yves Bertot
出版1991
ISBN
OCLC:494830623
UNE AUTOMATISATION DE CALCUL DES RESIDUS EN SEMANT...
作者
Yves Bertot
出版1991
ISBN
OCLC:490327714