Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 2 results. Subscribe to this search

|
1. UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS

by Lewis, Harry R.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,198.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L586u] (1).

2. ELEMENTS OF THE THEORY OF COMPUTATION

by Lewis,Harry R, Papadimitriou,Christas H.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: ix,361.Publisher: Prentice Hall,New Jersey 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L586E2] (1).

Powered by Koha