Formal specification of advanced AI architectures / Iain D. Craig.
By: Craig, I.
Material type: BookSeries: Ellis Horwood series in artificial intelligence.Publisher: New York : Ellis Horwood, 1991Description: xv, 319 p. ; 25 cm.ISBN: 0133252000 ; 0133288323 .Subject(s): Artificial intelligence | Problem solvingDDC classification: 006.3
Contents:
Introduction -- The Z specification language -- The blackboard architecture -- The blackboard specification in Z -- CASSANDRA -- CASSANDRA in Z -- Conclusions.
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Lending | 006.3 (Browse shelf(Opens below)) | 1 | Available | 00014132 |
Total holds: 0
Browsing MTU Bishopstown Library shelves, Shelving location: Lending Close shelf browser (Hides shelf browser)
Bibliography:(pages 305-309) and index.
Introduction -- The Z specification language -- The blackboard architecture -- The blackboard specification in Z -- CASSANDRA -- CASSANDRA in Z -- Conclusions.