Բեռնվում է…
The computational complexity of logical theories /
Պահպանված է:
Հիմնական հեղինակ: | |
---|---|
Այլ հեղինակներ: | |
Ձևաչափ: | Գիրք |
Լեզու: | English |
Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1979.
|
Շարք: | Lecture notes in mathematics (Springer-Verlag) ;
718 |
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
LEADER | 00886nam a2200265 u 4500 | ||
---|---|---|---|
001 | 000547644 | ||
003 | AM-YeHGA | ||
005 | 20210831153051.0 | ||
008 | 070814s1979 gw r 000 0 eng d | ||
020 | |a 0387095012 | ||
040 | |a AM-YeHGA |c AM-YeHGA | ||
041 | 0 | |a eng | |
100 | 1 | |a Ferrante, Jeanne, |d 1949- | |
245 | 1 | 4 | |a The computational complexity of logical theories / |c Jeanne Ferrante, Charles W. Rackoff. |
260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1979. | ||
300 | |a x, 243 p. : |b ill. ; |c 24 cm. | ||
490 | 1 | |a Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann |v 718 | |
500 | |a Includes index | ||
504 | |a Bibliogr.: p. [234]-238. | ||
650 | 0 | |a Predicate calculus | |
650 | 0 | |a Computational complexity | |
700 | 1 | |a Rackoff, Charles W., |d 1948- | |
830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) ; |v 718 | |
999 | |c 210297 | ||
952 | |o Gulb/5420 |p 901005420 |