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,

First Page		Document Content
Date: 2015-11-18 09:12:46 Theoretical 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 List Source URL: cervone.psu.edu Download Document from Source Website File Size: 97,06 KB Share Document on Facebook