Books written by John A. Campbell
-
The Stockbroker
Saturday morning found the two detectives well on their way to Hornsby. The F3 was relatively free of traffic and they made reasonable time. When they arrived at Hornsby, Henry found a handy parking spot. Leaving the car they soon found ...
-
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. We show how polynomial interpretations with negative coefficients, like x − 1 for a unary function symbol or x −y for a binary function ...
-
Challenging the Traditional Interpretations of Justification by Faith, Part 1
This volume is the first of a two-part work that evaluates the teaching of justification by faith from the early church to modern times in light of the Scriptures and the ministry of Watchman Nee and Witness Lee.
-
Reminiscences and Documents Relating to the Civil War During the Year 1865
Our readers see the books the same way that their first readers did decades or a hundred or more years ago. Books from that period are often spoiled by imperfections that did not exist in the original.
-
Artificial Intelligence and Symbolic Computation
Artificial Intelligence and Symbolic Computation
-
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000.
-
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992.
-
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000.
-
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994.
-
Artificial Intelligence and Symbolic Mathematical Computation
Artificial Intelligence and Symbolic Mathematical Computation
-
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.
-
Artificial Intelligence and Symbolic Mathematical Computing
Artificial Intelligence and Symbolic Mathematical Computing