Proceeding on automated deduction by Loveland D W Ed.
Material type:
TextLanguage: English Series: Lecture notes in computer science; 138Publication details: Berlin Springer-Verlag 1982Description: vii,389p. cmSubject(s): DDC classification: - D65,8(B)p1,N82, M2
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)p1,N82 M2 (Browse shelf(Opens below)) | Available | SL0796510 |
There are no comments on this title.
Log in to your account to post a comment.
