Automated reasoning with analytic tableaux and related methods / Swart,Harrie de.
Material type: TextLanguage: English Series: Lecture notes in artificial intelligence,No-1397Publication details: Berlin: Springer, 1998. Edition: International conferDescription: x,324p;26cmISBN: 3540644067DDC classification: 006.3 SWAItem type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Reference Books | Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book) | Central Library, TU | Reference | 006.3 SWA (Browse shelf(Opens below)) | Not for loan | 11593 |
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)
006.3 SIN Intelligent agents IV / | 006.3 SMY Advances in case-based reasoning / | 006.3 STE Recent advances in AI planning / | 006.3 SWA Automated reasoning with analytic tableaux and related methods / | 006.3 TEP Conceptual structures and practices / | 006.3 WAN Automated deduction in geometry / | 006.3 WOO Automata implementation / |
Includes bibliographical references.
There are no comments on this title.