Machine Learning of Higher Order Programs


Authored By:G. Baliga, J. Case, S. Jain and M. Suraj
Paper Title:Machine Learning of Higher Order Programs
In:J. Symbolic Logic
Vol. 59-2
Publication Date: 1994
Pages:486-500

BibTeX Record:
@Article{bcjs-mlhop-94,
author = "G. Baliga and J. Case and S. Jain and M. Suraj",
title = "Machine Learning of Higher Order Programs",
journal = "J. Symbolic Logic",
pages = "486--500",
volume = "59--2",
year = "1994",
annote = "Was in {sl Proceedings of the Logical Foundations of Computer Science}, Tver, Russia, LNCS 620 in 1992",
}

Hide BibTeX Record