Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of the International Conference, St.Andrews, Scotland, UK, 2000
Material type: TextSeries: Lecture notes in artificial intelligence ; 01847Publication details: Berlin ; Springer ; 2000Description: 440ISBN: 354067697XSubject(s): Automated Reasoning Analytic TableauxCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 45403 |
There are no comments on this title.