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
@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",
}