Back to Results
First PageMeta Content
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

Document Date: 2015-11-18 09:12:46


Open Document

File Size: 97,06 KB

Share Result on Facebook