• Szerző: Russel, Stuart J. - Norvig, Peter
• Kiadás éve: 2023

Bejegyzés részletek [helyettesítési lista (elsőrendű logikában):==substitution (in first-order logic)]:

Belső alcímek

Külső alcímek