Lataa...

Computational complexity of logical theories

Bibliografiset tiedot
Päätekijä: Ferrante, Jeanne
Muut tekijät: Rackoff, Charles W
Aineistotyyppi: Printed Book
Julkaistu: Springer-Verlag, Berlin 1979
Sarja:Lecture Notes in Mathematics, No.0718
Aiheet: