Jazyk pro umělou inteligenci - Kolář, Josef (České vysoké učení technické v Praze, 1998)