Susumu Katayama. Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation. In Chengqi Zhang, Hans W. Guesgen, Wai-Kiang Yeap, editors, PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings. Volume 3157 of Lecture Notes in Computer Science, pages 75-84, Springer, 2004. [doi]
@inproceedings{Katayama04,
title = {Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation},
author = {Susumu Katayama},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3157&spage=75},
tags = {functional programming, programming, search},
researchr = {https://researchr.org/publication/Katayama04},
cites = {0},
citedby = {0},
pages = {75-84},
booktitle = {PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings},
editor = {Chengqi Zhang and Hans W. Guesgen and Wai-Kiang Yeap},
volume = {3157},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22817-9},
}