登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60t
出版社：Berlin ; New York : Springer, 2005.
ISBN：3540250514
出版年：2005
作者：Siekmann,Jörg H.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60t
  • 作者：Abrahám,Erika,
  • ISBN：9783319307336
  • 出版社：Cham : Springer, 2016.
  • 出版年：2016
...

Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th bi
  • 作者：Artikis,Alexander.
  • ISBN：9783642294136
  • 出版社：Berlin ; New York : Springer, c2012.
  • 出版年：2012
...

Scientific essays in honor of H. Pierre Noyes on the occasion of his 90th birthday
  • 作者：Noyes,H. Pierre.
  • ISBN：9789814579360
  • 出版社：[Hackensack] New Jersey : World Scientific, c2014.
  • 出版年：2014
...

Mathematical analysis and applications : essays dedicated to Laurent Schwartz on the occasion of his
  • 作者：Nachbin,Leopoldo.
  • ISBN：0125128010
  • 出版社：New York : Academic Press, 1981.,New York : Academic Press, <1981- >
  • 出版年：1981
...

Continuum theory : proceedings of the special session in honor of Professor Sam B. Nadler, Jr.''s 60t
  • 作者：Nadler,Sam B.
  • ISBN：082470875X
  • 出版社：New York : Marcel Dekker, c2002.
  • 出版年：2002
...

Correct system design : Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birt
  • 作者：Meyer,Roland,
  • ISBN：9783319235059
  • 出版社：Cham : Springer, 2015.
  • 出版年：2015