作者:Christian Kop,Günther Fliedl,Heinrich C. Mayr,Elisabeth Métais
主题词:Database Management,Computer Communication Networks,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Information Storage and Retrieval,Artificial Intelligence (incl. Robotics)