Reihe Lecture Notes in Artificial IntelligenceLutz Plümer × Termination Proofs for Logic Programs Lutz PlümerSpringer BerlineBook200553,49 € Termination Proofs for Logic Programs Lutz PlümerSpringer BerlinSoftcover199053,49 €
