Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991
Material type: TextSeries: Lecture notes in computer science ; 00626Publication details: Berlin ; Springer-Verlag ; 1992Description: 428ISBN: 354055789XSubject(s): Computer Science LogicCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 29177 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
681 LNCS Logical Foundations of Computer Science - Tver '92 | 681 LNCS Automata, Languages and Programming | 681 LNCS Modular construction and partial order semantics of Petri Nets | 681 LNCS Computer Science Logic | 681 LNCS Algebraic and Logic Programming | 681 LNCS Logics in AI | 681 LNCS Memory Management |
There are no comments on this title.