Adding equality to semantic tableaux
de S. V. Reeves
Ediciones (1)
- Adding equality to semantic tableaux. (1986)
Queen Mary College, Department of Computer Science and Statistics · inglés
de S. V. Reeves
Queen Mary College, Department of Computer Science and Statistics · inglés