Computational logic
Material type:
TextPublication details: London: Academic Press, 1979Description: xiv, 397pSubject(s):
Books
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
|
Books
|
National Science Library | 519.68:510.6 L9 (Browse shelf(Opens below)) | Available | 104316 |
Browsing National Science Library shelves Close shelf browser (Hides shelf browser)
| 519.677(082.2) P4 Mathematical analysis and applications | 519682.1(082.2) M0 Formal language theory: Perspectives and open problems | 519.68:510 M4 Logic of programming | 519.68:510.6 L9 Computational logic | 519.7(042.3) N0 Lectures in applied mathematics and informatics | 519.711 M9 Automatic control systems | 519.725 M4 Theory and practice of error control codes |
There are no comments on this title.