Tacti-Based Inductive Theorem Prover for Data Types With Partial Operations

ISBN: 9781586031282

作者: Ulirich Kuhler

出版社: Ios Pr Inc

页数: 261

定价: 36

装帧: Pap