Proceeding on automated deduction by Siekmann Jorg H Ed.
Material type:
TextLanguage: English Series: Lecture notes in computer science; 230Publication details: Berlin Springer-Verlag 1986Description: ix, 708p. cmSubject(s): DDC classification: - D65,8(B)p1,N86, M6
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)p1,N86 M6 (Browse shelf(Opens below)) | Available | SL0955107 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B)p1,N85 M6 Proceeding on accurate scientific computations | D65,8(B)p1,N86 M6 Proceeding on theoretical aspects of computer science | D65,8(B)p1,N86 M6 Proceeding on mathematical foundations of computer science | D65,8(B)p1,N86 M6 Proceeding on automated deduction | D65,8(B)p1,N86 M6 Proceeding on structure in complexity theory | D65,8(B)p1,N86 M7 Proceeding on analogical and inductive inference | D65,8(B)p1,N86 M7 Proceeding on advances in cryptology crypto 86 |
There are no comments on this title.
Log in to your account to post a comment.