登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions
EISBN:
9783030950880
PISBN:
9783030950873
出版社:
Springer Nature
出版时间:
2022
作者:
Jean-Luc Marichal;Naïm Zenaïdi
主题词:
Mathematics and Statistics
学科:
O 数理科学和化学,O1 数学,O17 数学分析,O174 函数论,O174.6 特殊函数
语种:
英语
所属数据库:
SpringerLink电子图书
丛书题名:
Developments in Mathematics
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Theorem Proving in Higher Order Logics
作者:
Gerhard Goos,Juris Hartmanis,Jan Leeuwen,Joakim Wright,Jim Grundy,John Harrison
EISBN:
9783540706410
出版社:
Springer Berlin Heidelberg
出版时间:
1996
Theorem Proving in Higher Order Logics
作者:
Klaus Schneider,Jens Brandt
EISBN:
9783540745914
出版社:
Springer Berlin Heidelberg
出版时间:
2007
Theorem Proving in Higher Order Logics
作者:
Stefan Berghofer,Tobias Nipkow,Christian Urban,Makarius Wenzel
EISBN:
9783642033599
出版社:
Springer Berlin Heidelberg
出版时间:
2009
Theorem Proving in Higher Order Logics
作者:
Joakim von Wright,Jim Grundy,John Harrison
EISBN:
9783540706410
出版社:
Springer Berlin Heidelberg
出版时间:
1996
Theorem Proving in Higher Order Logics
作者:
Mark Aagaard,John Harrison
EISBN:
9783540446590
出版社:
Springer Berlin Heidelberg
出版时间:
2000
Theorem Proving in Higher Order Logics
作者:
Yves Bertot,Gilles Dowek,Andre Hirschowitz,Christine Paulin,Laurent Thery
EISBN:
9783540482567
出版社:
Springer Berlin Heidelberg
出版时间:
1999
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。