International Federation for Information Processing. Working Group on Automated Reasoning Bezüge im Wissensnetz Administrative Überordnung der Körperschaft (1) GND-Körperschaften International Federation for Information Processing. Technical Committee Artificial Intelligence