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

Programming logics : essays in memory of Harald Ganzinger
出版社：Berlin ; New York : Springer, c2013.
ISBN：9783642376504
出版年：2013
作者：Ganzinger,H.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Programming Logics An Introduction to verifivation and Sementic
  • 作者：Gumb. R. D.
  • ISBN：0471605395
  • 出版社：New York: John Wiley & Sons, 1989.
  • 出版年：1989
...

Programming logics : an introduction to verification and semantics
  • 作者：Gumb,Raymond D.
  • ISBN：0471605395
  • 出版社：New York : Wiley, c1989.
  • 出版年：1989
...

Essays in memory of Imre Lakatos
  • 作者：edited by R.S. Cohen,P.K. Feyerabend,and M.W. Wartofsky
  • ISBN：9027706549
  • 出版社：Dordrecht ; Boston : D. Reidel Pub. Co., 1976.
  • 出版年：1976
...

Portraits from memory and other essays
  • 作者：Russell,Bertrand
  • 出版社：London : George Allen & Unwin, 1956.
  • 出版年：1956
...

Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the Occasion of
  • 作者：Aceto,Luca.
  • ISBN：9783319631202
  • 出版社：Cham, Switzerland : Springer, c2017.
  • 出版年：2017
...

Selected essays on the history of set theory and logics(1906-1918):/
  • 作者：Jourdain Philip E.B.
  • 出版社：Bologna Editrice Bologna: 1991.
  • 出版年：1991