Connection-Driven Inductive Theorem Proving
- 期刊名称Studia Logica
- 作者Christoph Kreitz; Brigitte Pientka
- 卷第69卷
- 期第2期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小392.70KB
- 发表时间2001-11
- DOI10.1023/a:1013874024997
- 页码293-326
Dedication. Restrictions on Dedication. Limitations in an Implied DedicationHarvard Law Review · 1908
Dedication: To Alberto Coffa || Dedication: To J. Alberto CoffaLinda Wessels and Hector-Neri Castañeda · Noûs · 1987
Municipal Corporations: Dedication of Lands to the Public: Scope of DedicationT. R. M. · California Law Review · 1924
Perceptions of Ecclesia (Church and Soul in Medieval Dedication Sermons) || Appendix 1: Dedication Sermons and Their AuthorsHorie, Ruth · 2006
[ACS Symposium Series] Organic Free Radicals Volume 69 || PREFACE, INTRODUCTION, DEDICATION TO PAUL BARTLETT, DEDICATION TO CHEVES WALLINGPryor, William A. · 1978
The Object of Dedication || Human Bodies as Objects of Dedication at Inca Mountain Shrines (North-Western Argentina)Constanza Ceruti · World Archaeology · 2004
The Rite of Church Dedication in Early Medieval Ireland and the Dedication Scheme in the Angers Manuscript 477Barbet-Massin, Dominique · Peritia · 2016
Recording and Registry Laws. Torrens System. Dedication. Effect of Prior Unregistered Common Law Dedication upon Title of Execution Purchaser of Registered LandHarvard Law Review · 1929