Ugrás a fő tartalmi területre
Mesterséges Intelligencia Almanach
Könyvek
Fogalomtár
Kutatók
Szerzők
Címlap
Hivatkozók
Kapcsolódó tartalmak
cáfolásteljes rezolúció
Logika tulajdonságai
Rezolúció predikátum kalkulusban - gyakorlat
Rezolúciós gyakorlatok - ítéletkalkulus és predikátumkalkulus