Automated deduction in classicial and n0n-classicial logics /
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book) | Central Library, TU | Reference | 006.3 LEC (Browse shelf(Opens below)) | Not for loan | 14296 |
Total holds: 0
Browsing Central Library, TU shelves, Shelving location: Reference Book Section (Consult Shelf-Guide to locate the book), Collection: Reference Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
006.3 LEC Advanced topics in artificial intelligence / | 006.3 LEC Large -scale parallel data mining / | 006.3 LEC Formal models of agents / | 006.3 LEC Automated deduction in classicial and n0n-classicial logics / | 006.3 LEC Part-whole reasoning in an object-centered framework / | 006.3 LEC Concurrent rective plans / | 006.3 LEC Challenges for action theories / |
Includes bibliographical references.
There are no comments on this title.