Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Siklóssy, L. and Roach, John. 1975. “Model Verification and Improvement Using DISPROVER.”Artificial Intelligence 6(1): 41–52.
Simon, Herbert A. and Siklóssy, L., eds. 1972. Representation and Meaning: Experiments with Information Processing Systems. Englewood Cliffs, New Jersey: Prentice-Hall, Inc.