Artificial intelligence 

 - New York:   North Holland Publishing Company,