"15" Result
Sort By:
"This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programmi…
Logic for Applications
by Nerode, Anil, Shore, Richard A.
fromGraduate texts in computer science
0
Type: Book
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered t…