1- 2 of 2 results
Title: Learning Search Control Knowledge for Equational Deduction, Author: S. A. Schulz
Title: CIL Programming: Under the Hood of .NET / Edition 1, Author: Jason Bock