Logic for computer science: Fundations of automatic theorem proving Gallier Jean H
Material type:
TextLanguage: English Series: Harper and row computer science and technology seriesPublication details: New York Harper & Row 1986Description: xv, 511p. cmSubject(s): DDC classification: - B:(R1), M6
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1) M6 (Browse shelf(Opens below)) | Available | SL0955254 |
There are no comments on this title.
Log in to your account to post a comment.