Bridging logic and kernel machines
Michelangelo Diligenti, Marco Gori, Marco Maggini, Leonardo RigutiniVolume:
86
Language:
english
Pages:
32
DOI:
10.1007/s10994-011-5243-x
Date:
January, 2012
File:
PDF, 1.54 MB
english, 2012