The Complexity of Automated Reasoning (1989)

by André Vellino
Citations:9 - 0 self