Ugrás a fő tartalmi területre
Mesterséges Intelligencia Almanach
Könyvek
Fogalomtár
Kutatók
Szerzők
Címlap
Hivatkozók
Mesterséges Intelligencia
8.2. Az elsőrendű logika szintaxisa és szemantikája
9.1. Ítéletlogikai következtetés kontra elsőrendű logikai következtetés
Hivatkozók
Mesterséges Intelligencia
8.2. Az elsőrendű logika szintaxisa és szemantikája
9.1. Ítéletlogikai következtetés kontra elsőrendű logikai következtetés