GENERATIVE WORDS IN SIX CULTURES
- 期刊名称Religious Education
- 作者Wingeier, Douglas E.
- 卷第75卷
- 期第5期
- 印刷ISSN0034-4087
- 电子ISSN1547-3201
- 文件大小846.08KB
- 发表时间1980-09
- DOI10.1080/0034408800750508
- 页码563-576
LettersThomas, R.; Williamson, Kirsty; Allen, G. G.; Plumster, W.; Bundy, Alan; Edmondson, Alan · The Australian Library Journal · 1989
Experiments with proof plans for inductionAlan Bundy; Frank Harmelen; Jane Hesketh; Alan Smaill · 1991
Recursive Program Optimization through Inductive Synthesis Proof TransformationPeter Madden; Alan Bundy; Alan Smaill · 1999
Rippling: A heuristic for guiding inductive proofsAlan Bundy; Andrew Stevens; Frank van Harmelen; Andrew Ireland; Alan Smaill · 1993
Automating the synthesis of decision procedures in a constructive metatheoryAlessandro Armando; Jason Gallagher; Alan Smaill; Alan Bundy · Annals of Mathematics and Artificial Intelligence · 1998
Explanation-based generalisation = partial evaluationFrank van Harmelen; Alan Bundy · 1988
Prolog programming techniquesPaul Brna; Alan Bundy; Tony Dodd; Marc Eisenstadt; Chee Kit Looi; Helen Pain; Dave Robertson; Barbara Smith; Maarten Someren · 1991
A recursive techniques editor for PrologAlan Bundy; Gerd Grosse; Paul Brna · 1991
Press ReleasesAustralian Academic & Research Libraries · 1990
Front MatterAustralian Academic & Research Libraries · 2009
Dietrich Borchardt, 1916–1997Clayton, Peter · Australian Academic & Research Libraries · 1998
Review ArticleAustralian Academic & Research Libraries · 2003
EditorialHarvey, Ross · Australian Academic & Research Libraries · 2008
Book ReviewsChelliah, Janet; Ferguson, Alice · Australian Academic & Research Libraries · 2006
The State Library Of QueenslandStephens, Des · Australian Academic & Research Libraries · 1992
The E-copyright HandbookWiebrands, Constance · Australian Academic & Research Libraries · 2014