Formal techniques in artificial intelligence
Subtitle: a sourcebook
By: edited by Ranan B. Banerji.
Contributors: Banerji, Ranan B., 1928-
Series: Studies in computer science and artificial intelligence ;; 6
Publisher: North-Holland; Distributors for the United States and Canada, Elsevier Science Pub. Co.
Published: 1990
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 437
Subjects: Artificial intelligence.
Notes: Includes bibliographical references and index.