Eine Methode zur automatischen Problemreduktion

Matthias Baaz, Alexander Leitsch. Eine Methode zur automatischen Problemreduktion. In Harald Trost, Johannes Retti, editors, Österreichische Artificial Intelligence-Tagung, Wien, 24.-27. September 1985, Proceedings. Volume 106 of Informatik-Fachberichte, pages 154-163, Springer, 1985.

Abstract

Abstract is missing.