An Iterative and Bottom-up Procedure for Proving-by-Example


Authored By:Masami Hagiya
Paper Title:An Iterative and Bottom-up Procedure for Proving-by-Example
Book/Journal Title:Machine Learning: ECML-93, European Conference on Machine Learning, Proceedings
Vol. 667
Publisher:Springer-Verlag
Publication Date: 1993
Pages:336-341

BibTeX Record:
@InProceedings{h-ibpp-93,
author = "Masami Hagiya",
title = "An Iterative and Bottom-up Procedure for Proving-by-Example",
booktitle = "Machine Learning: ECML-93, European Conference on Machine Learning, Proceedings",
series = "Lecture Notes in Artificial Intelligence",
volume = "667",
publisher = "Springer-Verlag",
year = "1993",
pages = "336--341",
}

Hide BibTeX Record