Ramsay A Formal methods in artificial intelligence Ramsay A - 1988 - p. cm. Standard No.: 40516 Source: Textual Subjects--Topical Terms: Computer Science Dewey Class. No.: D65,8(B), M8