The computational complexity of logical theories / / Jeanne Ferrante, Charles W. Rackoff
Series: Lecture notes in mathematics (Springer-Verlag) ; 718Publication details: Berlin : Springer-Verlag, 1979Description: x, 243 p. : ill. ; 24 cmISBN:- 0387095012
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) | - | Q9.35.F43[00008031795] (Browse shelf(Opens below)) | n.1 | 1 | Available | 00000271539 | ||
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) | - | Q9.35.F43[00008031796] (Browse shelf(Opens below)) | n.2 | 1 | Available | 00000271551 |
Includes index
Bibliography: p. 234-238
There are no comments on this title.
Log in to your account to post a comment.
