Cover Image

Formal techniques in artificial intelligence : a sourcebook /

Bibliographic Details
Other Authors: Banerji, Ranan B., 1928-
Format: Book
Language:English
Published: Amsterdam ; New York : North-Holland ; 1990.
Series:Studies in computer science and artificial intelligence ; 6.
Subjects:
Artificial intelligence.
Description
Physical Description:xi, 437 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0444881301