Compositionality: the significant difference: international symposium, COMPOS '97, Bad Malente, Germany, September 1997 : revised lectures
Material type: TextSeries: Lecture notes in computer science ; 01536Publication details: Berlin ; Springer ; 1998Description: 646ISBN: 3540654933Subject(s): Parallel processing (Electronic computers) Congresses. Automatic theorem proving CongressesCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 50913 |
There are no comments on this title.