Die Verwendung mehrwertiger und nicht-monotoner Logiken zur ProgrammkonstruktionWolf ZimmermannÉpuisé4,3Prévenez-moi