Learning from examples with typed equational programming

Author(s):  
Akira Ishino ◽  
Akihiro Yamamoto
1997 ◽  
Vol 13 (4) ◽  
pp. 509-544 ◽  
Author(s):  
Joel Ratsaby ◽  
Vitaly Maiorov

2015 ◽  
Vol 9 (4) ◽  
pp. 232-245 ◽  
Author(s):  
Hee Seung Lee ◽  
Jon M. Fincham ◽  
John R. Anderson

2010 ◽  
Vol 16 (2) ◽  
pp. 98-130 ◽  
Author(s):  
Martin R. K. Baumann ◽  
Josef F. Krems ◽  
Frank E. Ritter

Sign in / Sign up

Export Citation Format

Share Document