Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Formal specification af advanced AI architectures /

by Craig, Iain D.
Normal View ISBD View
Series: Ellis Horwood series in Artificial Intelligence Published by : Ellis Horwood, (New York : ) Physical details: XV, 319 p ; 25 cm. Subject(s): Artificial intelligence-data processing | Z(computer program language) | Expert systems (Computer science) | System design Year : 1991
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica QF336.C73 (Browse Shelf) 1 Available

Contents - 1. Introduction. 2. The Z specification language. 3. The blackboard architecture. 4. The blackboard specification in Z. 5. CASSANDRA. 6. CASSANDRA in Z.

There are no comments for this item.

Log in to your account to post a comment.
Important links here.