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

Your search returned 2 results. Subscribe to this search

|
1. COMPUTER SCIENCE LOGIC

by Borger, E.

Description: viii,428.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

2. Lecture notes in computer science CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

by (2nd Workshop on Computer Science Logic Duisburg, Germany) 1988 | Börger, E | Kleine Büning, H | Richter, Michael M.

Material type: book Book; Format: print ; Literary form: not fiction Description: vi, 399 p.Publisher: Berlin ; New York : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.385] (1).

Powered by Koha