发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

A tactic calculus — abridged version

A tactic calculus — abridged version

A. P. Martin; P. H. B. Gardiner; J. C. P. Woodcock

作者A. P. Martin; P. H. B. Gardiner; J. C. P. Woodcock
卷第8卷
期第4期
印刷ISSN0934-5043
电子ISSN1433-299X
文件大小607.02KB
发表时间1996
DOI10.1007/bf01213535
页码479-489

← 返回【学霸图书馆】主页