Načítá se...

Computational complexity of logical theories

Podrobná bibliografie
Hlavní autor: Ferrante, Jeanne
Další autoři: Rackoff, Charles W
Médium: Printed Book
Vydáno: Springer-Verlag, Berlin 1979
Edice:Lecture Notes in Mathematics, No.0718
Témata: