Efficiency of Theorem Proving Strategies
Subtitle: A Comparative and Asymptotic Analysis
Publisher: Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH
Published: 2013
Language: eng
ISBN-13: 9783663078470