9.5. Rezolúció

9.5.1. Rezolúció predikátum kalkulusban - gyakorlat (BME)

Sikertelen importálás: 9.5.1.felmeg-log-3-db42.xml

9.5.2. Rezolúciós gyakorlatok - ítéletkalkulus és predikátumkalkulus (BME)

Sikertelen importálás: 9.5.2.gyakorlo-rezolucio-db42.xml