MIXTURE OF EXPERTS LEARNING IN AUTOMATED THEOREM PROVING
Cemal Acar Erkek · 2010
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii OZET . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv TABLE OF CONTENTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v LIST OF FIGURES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi LIST OF TABLES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii LIST OF SYMBOLS/ABBREVIATIONS . . . . . . . . . . . . . . . . . . . . . . . viii