Rippling: A heuristic for guiding inductive proofs
- 作者Alan Bundy; Andrew Stevens; Frank van Harmelen; Andrew Ireland; Alan Smaill
- 卷第62卷
- 期第2期
- 印刷ISSN0004-3702
- 文件大小3188.90KB
- 发表时间1993
- DOI10.1016/0004-3702(93)90079-q
- 页码185-253
ANNOUNCEMENTS - ANNOUNCEMENTS - ANNOUNCEMENTS1996
Announcements and review announcements1969
Directory and Announcements—AnnouncementsThe Journal of the American Dental Association · 1963
Directory and Announcements—AnnouncementsThe Journal of the American Dental Association · 1961
Layoff announcements and employment guarantee announcementsAbraham, Steven E. · International Journal of Manpower · 2004
Fiftieth Anniversary Announcements || [Fiftieth Anniversary Announcements]Bulletin of the American Library Association · 1925
Course announcements, AOI branch activities, news, conference announcementsIndian Journal of Otolaryngology and Head & Neck Surgery · 2001
The Price Impact of Rating Announcements: Which Announcements Matter?Micu, Marian; Remolona, Eli M.; Wooldridge, Philip D. · SSRN Electronic Journal · 2006