A computational logic / Robert S. Boyer and J Strother Moore.
Material type: TextLanguage: English Series: ACM monograph seriesPublication details: New York : Academic Press, c1979.Description: xiv, 397 p. ; 24 cmISBN:- 0121229505
- 519.4
- QA76.9.A96 B68
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004 : 16 (Browse shelf(Opens below)) | 2E32281 | შესამოწმებელია | 2018-28000 |
Includes index.
Bibliography: p. 385-387.
There are no comments on this title.
Log in to your account to post a comment.