Searchadditional2
Introduction iii
Ch2 3-informed (heuristic) search
Lecture 2
Knowledge engg using & in fol
Class first order logic
Lecture1