First Page | Document Content | |
---|---|---|
Date: 2015-11-18 09:12:46Theoretical computer science Algorithms Formal methods Software engineering HindleyMilner type system Lambda calculus Type theory Mathematics | The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,Add to Reading ListSource URL: cervone.psu.eduDownload Document from Source WebsiteFile Size: 97,06 KBShare Document on Facebook |