Resolution and equality in theorem proving
de Daniel Brand · Publicada por primera vez en 1973
Ediciones (1)
- Resolution and equality in theorem proving (1973)
University of Toronto, Dept. of Computer Science · inglés
de Daniel Brand · Publicada por primera vez en 1973
University of Toronto, Dept. of Computer Science · inglés