TY - BOOK AU - Caferra, Ricardo AU - Peltier, Nicholas AU - Leitsch, Alexander TI - Automated Model Building SN - 1402026528 U1 - 511.3 CAF PY - 2004/// CY - London PB - Kluwer Academic Publishers KW - Automatic theorem proving KW - Applied logic N1 -

Contents: 1. Introduction 2. Prelimi ER -