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

Mechanical Theorem Proving in Geometries
EISBN：9783709166390
PISBN：9783211825068
出版社：Springer Vienna
出版类型：Monograph
出版时间：1994
版次：1994
作者：Wen-tsün Wu
主题词：Computer Science,Theory of Computation,Mathematical Logic and Foundations,Algebraic Geometry,Combinatorics,Symbolic and Algebraic Manipulation,Mathematical Logic and Formal Languages
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Texts & Monographs in Symbolic Computation
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Mechanical Theorem Proving in Geometries
  • 作者：Wen-tsün Wu
  • EISBN：9783709166390
  • 出版社：Springer Vienna
  • 出版时间：1994
...

Symbolic Logic and Mechanical Theorem Proving
  • 作者：Chang,Chin-Liang
  • PISBN：9780080917283
  • 出版时间：Legacy
...

Interactive Theorem Proving
  • 作者：Sandrine Blazy,Christine Paulin-Mohring,David Pichardie
  • EISBN：9783642396342
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2013
...

Automated Theorem Proving
  • 作者：Monty Newborn
  • EISBN：9781461300892
  • 出版社：Springer New York
  • 出版时间：2001
...

Interactive Theorem Proving
  • 作者：Lennart Beringer,Amy Felty
  • EISBN：9783642323478
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2012
...

Interactive Theorem Proving
  • 作者：Christian Urban,Xingyuan Zhang
  • EISBN：9783319221021
  • 出版社：Springer International Publishing
  • 出版时间：2015