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