Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations: Logic Foundations Vol 1

by Dov M . Gabbay (Author), J.A.Robinson (Author), C . J . Hogger (Author)

• New

  Hardcover
  1993

  $561.63

  Provides authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas of application of logic in artificial intelligence and computer science. The book assumes as background some mathematical sophistication.