登入選單

返回Google圖書搜尋

A Standard Proof by Constructive Matching Methodology for a Theorem Formulated by Skolem

Marta Fraňová

出版	Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en Informatique [LRI], 1995
URL	http://books.google.com.hk/books?id=YoDuHAAACAAJ&hl=&source=gbs_api

註釋

Abstract : "This paper illustrates our Constructive Matching methodology -- developed to automate user-independently proving theorems by induction -- and of our Theory of Constructible Domains -- that is a formalization of a particular class of inductively defined systems of objects for purposes of a user-independent automation of inductive theorem proving -- on a theorem formulated by Skolem."