Computational complexity of logical theories

Библиографические подробности
Главный автор: Ferrante, Jeanne
Другие авторы: Rackoff, Charles W
Формат: Printed Book
Опубликовано: Springer-Verlag, Berlin 1979
Серии:Lecture Notes in Mathematics, No.0718
Предметы:
Lecture Notes in Mathematics

Схожие документы