Sciweavers

1914 search results - page 20 / 383
» Abstract lambda-Calculus Machines
Sort
View
ICFEM
2004
Springer
14 years 1 months ago
Implementing Dynamic Aggregations of Abstract Machines in the B Method
Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...
IEEEICCI
2003
IEEE
14 years 29 days ago
Perceptual Learning and Abstraction in Machine Learning
Nicolas Bredeche, Zhongzhi Shi, Jean-Daniel Zucker