Titlebook: Automated Theorem Proving in Software Engineering; Johann M. Schumann Book 2001 Springer-Verlag Berlin Heidelberg 2001 Automated Theorem P

銼屑

978-3-642-08759-2Springer-Verlag Berlin Heidelberg 2001

Peculate

headway

http://image.papertrans.cn/b/image/166379.jpg

deface

Irascible

向宇宙

Support in the Inclusive Classroomort) concerns the mechanization of deductive reasoning within a formal system. Of particular interest for us are methods for handling first-order predicate logic. Throughout this book we will refer to such an automatic system as an . (ATP). Already 1960, programs for automated theorem proving have b

ADORE

Ointment

xanthelasma

bizarre