Title Formal techniques in artificial intelligence : a sourcebook / edited by Ranan B. Banerji

Published Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the United States and Canada, Elsevier Science Pub. Co., 1990

Copies

Location	Call no.	Vol.	Availability
W'PONDS	006.3 Ban/Fti		AVAILABLE

Description xi, 437 pages : illustrations ; 25 cm Series Studies in computer science and artificial intelligence ; 6 Studies in computer science and artificial intelligence ; 6 Analysis Artificial intelligence Artificial intelligence Bibliography Includes bibliographical references and index Subject Artificial intelligence. Artificial intelligence. Author Banerji, Ranan B., 1928- LC no. 89023117 ISBN 0444881301

  Permalink