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

Your search returned 2 results. Subscribe to this search

|
1. Computational logic

by | Schwichtenberg, Helmut, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: 444p.Publisher: Berlin Springer-Verlag 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.01 C738] (1).

2. Proofs and computations

by Schwichtenberg, Helmut | Wainer, Stanley S.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 465p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.352 Sch99p] (1).

Powered by Koha