header
cover

1 - The computational complexity of logical theories
Ferrante, Jeanne (1949-....)   /   Rackoff, Charles W. (1948-....)

Cote : [05 FER 79]