Nonmonotonic reasoning by Antoniou, Grigoris, Williams, Mary-Anne fromArtificial intelligence 0 Type: Book
Constraint-based reasoning by Mackworth, Alan K., Freuder, Eugene C. fromSpecial issues of Artificial intelligence, an international… 0 Type: Book
Automated reasoning and it's applications: essays in honor of Larry Wos by Veroff, Robert, Pieper, Gail W., Wos, Larry 0 Type: Book
A proof theory for general unification by Snyder, Wayne fromProgress in computer science and applied logic 0 Type: Book
