作者:James L. Rash,Walt Truszkowski,Michael G. Hinchey,Christopher A. Rouff,Diana Gordon
主题词:Artificial Intelligence (incl. Robotics),Logics and Meanings of Programs,Software Engineering,Mathematical Logic and Formal Languages,Computer Communication Networks