Kazunori Ueda

  • Logic Programming

    Proceedings of the 1991 International Symposium

    Vijay A. Saraswat and Kazunori Ueda

    October 28-31, 1991, San Diego, California

    October 28-31, 1991, San Diego, California

    Previously called The North American Conference, the 1991 International Symposium complements the International Conference on Logic Programming held annually in June. Both are sponsored by the Association for Logic Programming.

    Topics covered: Foundations. Languages and Programming. Implementation. Reasoning about Programs. Applications. Logic Databases.

    • Paperback $85.00