 | Joe Hurd - 1999 - 11 Seiten
Abstract: "Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF ... | |
 | Gerald N. Lund - 1990 - 437 Seiten
With more than two million copies of the nine-volume series in print since its intital release in 1990, The Work and the Glory is one of the most popular historical fiction ... | |
| |
