Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
ECOOP '89 - Proceedings. ed by Stephen Cook. by Series: British Computer Society Workshop Series ;
Material type: Text Text
Publication details: Cambridge Cambridge University Press 1989
Availability: Items available for reference: Supercomputer Education and Research Centre: Not for loan (1)Call number: 005.1 N8923.

2.
Logical foundations of proof complexity (E-BOOK) by Stephen Cook and Phuong Nguyen by
Material type: Text Text
Publication details: Cambridge Cambridge 2010
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.36 P101 (e-Book)(MA).

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832