The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.
Նյութի տեսակ։ ՏեքստԼեզու: Անգլերեն Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 718Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1979.Նկարագրություն։ x, 243 p. : ill. ; 24 cmISBN:- 0387095012
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Book | Fundamental Scientific Library | Գալուստ Կյուլպենկյանի անհատական հավաքածու | Gulb/5420 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 30 Days Loan | 901005420 |
Includes index
Bibliogr.: p. [234]-238.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։