作者：Egon Börger,Hans Kleine Büning,Michael M. Richter,Wolfgang Schönfeld
主题词：Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Computation by Abstract Devices,Symbolic and Algebraic Manipulation,Artificial Intelligence (incl. Robotics)
问图书管理员
馆际互借
查看订购单位