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