Vorbemerkungen zu einer Theorie der Effizienz von Beweisverfahren

@inproceedings{Meltzer1975VorbemerkungenZE,
  title={Vorbemerkungen zu einer Theorie der Effizienz von Beweisverfahren},
  author={Barbara Meltzer},
  year={1975}
}
Die Schlusselfrage in der Entwicklung von automatischen Beweisverfahren ist zwar die Frage nach deren Effizienz, jedoch ist es eher uberraschend, wie wenig ernsthafte Diskussion und Analyse dieses Gesichtspunktes in der nun schon ziemlich umfangreichen Literatur des gegenstandlichen Forschungsbereiches anzutreffen sind. Es ist zwar richtig, das fur die Bedeutung der Effizienz ein Lippenbekenntnis abgelegt wird, wenn manchmal ein neues Inferenzsystem oder eine neue „Strategie“ vorgeschlagen und… CONTINUE READING