Učitavanje...

Computational complexity of logical theories

Bibliografski detalji
Glavni autor: Ferrante, Jeanne
Daljnji autori: Rackoff, Charles W
Format: Printed Book
Izdano: Springer-Verlag, Berlin 1979
Serija:Lecture Notes in Mathematics, No.0718
Teme: