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

QED a proof of renormalizability
出版社：Berlin ; New York : Springer-Verlag, c1988.
ISBN：0387502130
出版年：1988
作者：Feldman,Joel S.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

A Proof System for Timed Automata
  • 作者：Lin
  • 出版社：中国科学院
  • 出版年：2001
...

Proof
  • 作者：Francis,Dick
  • ISBN：0449207544
  • 出版社：New York : Ballantine Books, 1986, c1985
  • 出版年：1986
...

Proof in VDM : a practitioner''s guide
  • 作者：Bicarregui,Juan C.
  • ISBN：038719813X
  • 出版社：London ; New York : Springer-Verlag, c1994.
  • 出版年：1994
...

Proof theory : a selection of papers from the leeds proof theory programme 1990
  • 作者：Aczel,Peter,
  • ISBN：9780521054164
  • 出版社：Cambridge : Cambridge University Pr., 2008.
  • 出版年：2008
...

The mordell conjecture : a complete proof from diophantine geometry
  • 作者：Ikoma,Hideaki,
  • ISBN：9781108845953
  • 出版社：Cambridge : Cambridge University Press, 2022.
  • 出版年：2022
...

Sheaves on graphs, their homological invariants, and a proof of the hanna neumann conjecture : with
  • 作者：Friedman,Joel,
  • ISBN：9781470409883
  • 出版社：Providence, Rhode Island : American Mathematical Society, 2014.
  • 出版年：2014