An open environment for cooperative equational solving
Tetsuo Ida, Mircea Marin, Norio KobayashiVolume:
6
Langue:
english
Pages:
6
DOI:
10.1007/bf03160239
Date:
March, 2001
Fichier:
PDF, 572 KB
english, 2001