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

Bejegyzés részletek [Herbrand elmélete:==Herbrand's theorem]:

Belső alcímek

Külső alcímek