Llwytho...

Computational complexity of logical theories

Manylion Llyfryddiaeth
Prif Awdur: Ferrante, Jeanne
Awduron Eraill: Rackoff, Charles W
Fformat: Printed Book
Cyhoeddwyd: Springer-Verlag, Berlin 1979
Cyfres:Lecture Notes in Mathematics, No.0718
Pynciau: