作者:
Lawrence C. Paulson
出版社: Springer
副标题: A Generic Theorem Prover
出版年: 1994-9-9
页数: 329
定价: USD 99.00
装帧: Paperback
ISBN: 9783540582441
出版社: Springer
副标题: A Generic Theorem Prover
出版年: 1994-9-9
页数: 329
定价: USD 99.00
装帧: Paperback
ISBN: 9783540582441
还没人写过短评呢
还没人写过短评呢