लोड हो रहा है...

Computational complexity of logical theories

ग्रंथसूची विवरण
मुख्य लेखक: Ferrante, Jeanne
अन्य लेखक: Rackoff, Charles W
स्वरूप: Printed Book
प्रकाशित: Springer-Verlag, Berlin 1979
श्रृंखला:Lecture Notes in Mathematics, No.0718
विषय: