Now showing items 1-1 of 1

    • Logic and some Applications to Computer Science 

      Arthur, Kenneth W. (1987)
      The study of logic has made two important contributions to computer science in general and artificial intelligence in particular. These contributions are logical programming languages and automated reasoning. This paper ...