Automatic theorem proving in set theory (0)

by D Pastre
Venue:Journal of Artificial Intelligence