Computational Logic Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski part II / Antonis C. Kakas, Fariba Sadri (eds.)
Material type:
TextSeries: Lecture notes in computer science: 2407-2408.; Lecture notes in computer science: Publisher: Berlin : Hong Kong : Springer-Verlag, c2002Description: 2 v. : ill. ; 24 cmISBN: 9783540439608Subject(s): Kowalski, Robert | Logic programming | Automatic theorem proving | Logic programming languagesDDC classification: 005.115
| Item type | Current location | Home library | Shelving location | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
School of Mechanical & Manufacturing Engineering (SMME) | School of Mechanical & Manufacturing Engineering (SMME) | General Stacks | 005.115 COM (Browse shelf) | Available | Rack,51-Shelf,1 | SMME-432 | ||
|
Book
|
School of Mechanical & Manufacturing Engineering (SMME) | School of Mechanical & Manufacturing Engineering (SMME) | General Stacks | 005.115 COM (Browse shelf) | Available | Rack,51-Shelf,1 | SMME-433 |
Total holds: 0
Includes bibliographical references and index.
Electronic reproduction. Berlin : Springer-Verlag, c2002. System requirements: Adobe Acrobat Reader. Mode of access: World Wide Web. Made available through Springer LINK.
paper back
There are no comments on this title.