Analogy for automated reasoning - Owen, Stephen G. (Academic Press, 1990)
Keywords: Robbins, Marty -- 1925-1981; Analogie - Künstliche Intelligenz; Robbins, Marty - Bibliographie; Robbins, Marty - Tonträger - Verzeichnis; Theorem - Automatisches Beweisverfahren; Tonträger; Künstliche Intelligenz; Automatisches Beweisverfahren; Bibliografie; Analogie; Theorem; Verzeichnis