Space in Weak Propositional Proof Systems - Bonacina - 图书 - Springer International Publishing AG - 9783319734521 - 2018年1月24日
如封面与标题不符，以标题为准

Bonacina
Space in Weak Propositional Proof Systems 1st ed. 2017 edition

商品到货时接收邮件提醒
Do you have a profile? 登录

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

This book considers logical proof systems from the point of view of their space complexity.

130 pages, 8 Illustrations, color; 7 Illustrations, black and white; XVII, 130 p. 15 illus., 8 illus

介质类型 图书     Book
已发行 2018年1月24日
ISBN13 9783319734521
出版商 Springer International Publishing AG
页数 130
商品尺寸 150 × 220 × 20 mm   ·   390 g

查看Bonacina的全部作品 ( 例如 Book )