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

Bejegyzés részletek [E (tételbizonyító):==E (theorem prover)]:

Belső alcímek

Külső alcímek