Formal specification of advanced ai architectures /

Bibliographic Details
Main Author:	Craig, I.
Format:	Book
Language:	English
Published:	New York : Ellis Horwood, 1991.
Series:	Ellis Horwood series in artificial intelligence.
Subjects:	Artificial intelligence > Data processing. Z (Computer program language) Expert systems (Computer science) System design.

Description
Physical Description:	xv, 319 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	0133252000 :