CSL'87 by Borger E Ed.; Kleine Buning H Ed.; Richter M M Ed.
Material type:
TextLanguage: English Series: Lecture notes in computer science; 329Publication details: Berlin Springer-Verlag 1988Description: 346p. cmSubject(s): DDC classification: - D65,8(B):(R1), M8
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B):(R1) M8 (Browse shelf(Opens below)) | Available | SL1023068 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B):(R1) M7 From logic design to logic programming | D65,8(B):(R1) M7 Computation theory and logic | D65,8(B):(R1) M7 Future parallel computers | D65,8(B):(R1) M8 CSL'87 | D65,8(B):(R1) M9 Computational aspects of an order-sorted logic with term declarations | D65,8(B):R1 M9 Foundations of equational logic programming | D65,8(B):(R1) M9 Proceedings on Logic at Botik'89 |
There are no comments on this title.
Log in to your account to post a comment.