作者: David J. Pym / Eike Ritter
出版社: Clarendon Press
副标题: Proof Theory, Semantics, and Control
出版年: 2004-6-17
页数: 232
定价: USD 180.00
装帧: Hardcover
ISBN: 97801985263
楼主: wxwpxh
|
659
1
Reductive Logic and Proof-search |
学术权威 11%
-
|
| ||
京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问:王进律师 知识产权保护声明 免责及隐私声明