Computational aspects of an order-sorted logic with term declarations
Material type:
TextLanguage: English Series: Lecture notes in artificial intelligence; 395Publication details: Berlin Spinger-Verlag 1989Description: 171p. cmSubject(s): DDC classification: - D65,8(B):(R1), M9
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Textual
|
Central Science Library | Central Science Library | D65,8(B):(R1) M9 (Browse shelf(Opens below)) | Available | SL1023968 |
There are no comments on this title.
Log in to your account to post a comment.