Peter E. Hart, Nils J. Nilsson, and Bertram Raphael

Šim autoram piedēvētās metodes. 1 metode