Die Verwendung mehrwertiger und nicht-monotoner Logiken zur ProgrammkonstruktionWolf ZimmermannAusverkauft4,3Bewachen