Collected Works of J.Richard Buchi
Material type: TextPublication details: New York ; Springer Verlag ; 1990Description: 696ISBN: 0387970649Subject(s): Machine theory Logic, symbolic and mathematical Buchi, J.RichardCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 51(081) BUC (Browse shelf (Opens below)) | Available | 32969 |
There are no comments on this title.