Formal Techniques in Artificial Intelligence
Subtitle: A Sourcebook (Studies in Computer Science and Artificial Intelligence)
Publisher: North-Holland
Published: May 1990
Language: eng
Number of pages: 437
ISBN-13: 9780444881304