Implementing Mathematics With the Nuprl Proof Development System
Implementing Mathematics With the Nuprl Proof Development System
ISBN: 9780134518329
出版社: Prentice Hall
出版年: 1986-04
定价: USD 41.00
装帧: Hardcover
ISBN: 9780134518329
出版社: Prentice Hall
出版年: 1986-04
定价: USD 41.00
装帧: Hardcover