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