登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Proof Technology and Computation
EISBN：9781607501800
PISBN：9781586036256
出版社：IOS Press, Incorporated
出版时间：2006-07-13
版次：1
作者：Schwichtenberg,H.;Spies,K.;NATO Advanced Study Institute on Proof Technology and Computation,
主题词：Mathematics,Computer Science/IT
语种：英语
所属数据库：ProQuest Ebook Central
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Proof and Computation
  • 作者：Helmut Schwichtenberg
  • EISBN：9783642793615
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1995
...

Proof and Computation
  • 作者：Helmut Schwichtenberg
  • EISBN：9783642793615
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1995
...

Rewriting, Computation and Proof
  • 作者：Hubert Comon-Lundh,Claude Kirchner,Hélène Kirchner
  • EISBN：9783540731474
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2007
...

Computation and Proof Theory
  • 作者：Egon Börger,Walter Oberschelp,Michael M. Richter,Brigitta Schinzel,Wolfgang Thomas
  • EISBN：9783540391197
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1984
...

Proof
  • 作者：C Plumpton
  • EISBN：9781349071999
  • 出版社：Macmillan Education UK
  • 出版时间：1984
...

Proof Patterns
  • 作者：Mark Joshi
  • EISBN：9783319162508
  • 出版社：Springer International Publishing
  • 出版时间：2015