Automated reasoning and its applications: Essays in honor of Larry Wos
By: Veroff, Robert.
Material type:
BookPublisher: Cambridge: The MIT Press, 1997Description: vi, 153 p.; ill.ISBN: 0262220555 .DDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 VER (Browse shelf) | Available | 007466 |
There are no comments for this item.