Title: Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science)
Subjects: Artificial intelligence, Computer science