The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.
Material type:
TextLanguage: English Series: Lecture notes in mathematics (Springer-Verlag) ; 718Publication details: Berlin ; New York : Springer-Verlag, 1979.Description: x, 243 p. : ill. ; 24 cmISBN: - 0387095012
| Item type | Current library | Collection | Call number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|
Գրքեր / Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/5420 (Browse shelf(Opens below)) | Available | ILL Non-Circ. | 901005420 |
Includes index
Bibliogr.: p. [234]-238.
There are no comments on this title.
Log in to your account to post a comment.
All site content, except where otherwise noted, is licensed under a