Nalaganje...

Computational complexity of logical theories

Bibliografske podrobnosti
Glavni avtor: Ferrante, Jeanne
Drugi avtorji: Rackoff, Charles W
Format: Printed Book
Izdano: Springer-Verlag, Berlin 1979
Serija:Lecture Notes in Mathematics, No.0718
Teme: