Բեռնվում է…
The computational complexity of logical theories /
Պահպանված է:
Հիմնական հեղինակ: | Ferrante, Jeanne, 1949- |
---|---|
Այլ հեղինակներ: | Rackoff, Charles W., 1948- |
Ձևաչափ: | Գիրք |
Լեզու: | English |
Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1979.
|
Շարք: | Lecture notes in mathematics (Springer-Verlag) ;
718 |
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
-
Parallel complexity theory /
: Parberry, Ian
Հրապարակվել է: (1987) -
Real and complex analysis /
: Rudin, Walter 1921-
Հրապարակվել է: (1970) -
Journal of logic and computation
Հրապարակվել է: (1990) -
Advances in complex function theory : Proceedings of Seminars held at Maryland University, 1973-74 /
Հրապարակվել է: (1976) -
Theory of holors : A generalization of tensors /
: Moon, Parry Hiram, 1898-
Հրապարակվել է: (1986)