Logic at Botik '89 : proceedings
By: Symposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR).
Contributor(s): Meyer, Albert R., ed | Taitslin, M. A., ed.
Material type:
BookSeries: Lecture notes in computer science ; 363. Publisher: Berlin ; New York : Springer-Verlag, c1989Description: x, 289 p.ISBN: 0387512373 .Subject(s): Computers | Electronic data processing -- Congresses | Logic, Symbolic and mathematical -- CongressesDDC classification: 001.64 | L497
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.64 L497 V.363 (Browse shelf) | Book Request | Available | A105669 |
Total holds: 0
There are no comments for this item.