Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Radermacher, F. J. Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-234.pdf (beliebiger Volltext), 23MB
Bockmayr, A., & Radermacher, F. J.(1993). Künstliche Intelligenz und Operations Research (MPI-I-93-234). Saarbrücken: Max-Planck-Institut für Informatik.